Module type WeakTopologicalOrder.S

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