module Topological: sig end
sig end
val fold : (Sig_pack.S.V.t -> 'a -> 'a) -> Sig_pack.S.t -> 'a -> 'a
(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
(Sig_pack.S.V.t -> unit) -> Sig_pack.S.t -> unit