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