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