sig 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 end