Module type IR__WeakTopologicalOrder.Make

Parameters

Signature

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