module Topological:Topological ordersig..end
val fold : (Sig_pack.S.V.t -> 'a -> 'a) -> Sig_pack.S.t -> 'a -> 'aval iter : (Sig_pack.S.V.t -> unit) -> Sig_pack.S.t -> unitval fold_stable : (Sig_pack.S.V.t -> 'a -> 'a) -> Sig_pack.S.t -> 'a -> 'aval iter_stable : (Sig_pack.S.V.t -> unit) -> Sig_pack.S.t -> unit