Module type `WeakTopologicalOrder.S`

module CFG : PreProcCfg

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