Digraph.Topological
Topological order
val fold : (V.t -> 'a -> 'a) -> t -> 'a -> 'a
val iter : (V.t -> unit) -> t -> unit
val fold_stable : (V.t -> 'a -> 'a) -> t -> 'a -> 'a
val iter_stable : (V.t -> unit) -> t -> unit