Module type WeakTopologicalOrder.Make

Parameters

• CFG : PreProcCfg

Signature

val make : CFG.t -> CFG.Node.t Partition.t