Up – infer » IR » WeakTopologicalOrder » Make

Module type `WeakTopologicalOrder.Make`

Parameters
Signature

Parameters

module CFG : PreProcCfg

Signature

module CFG = CFG

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