Module Sig_pack.S.Topological

module Topological: sig .. end
Topological order

val fold : (Sig_pack.S.V.t -> 'a -> 'a) -> Sig_pack.S.t -> 'a -> 'a
val iter : (Sig_pack.S.V.t -> unit) -> Sig_pack.S.t -> unit
val fold_stable : (Sig_pack.S.V.t -> 'a -> 'a) -> Sig_pack.S.t -> 'a -> 'a
val iter_stable : (Sig_pack.S.V.t -> unit) -> Sig_pack.S.t -> unit