WeakTopologicalOrder.PreProcCfg
module Node : sig ... end
type t
val fold_succs : t -> (Node.t, Node.t, 'accum) IStdlib.IStd.Container.fold
val start_node : t -> Node.t