sig
  val iter : (Sig_pack.S.V.t -> unit) -> Sig_pack.S.t -> unit
  val iter_component :
    (Sig_pack.S.V.t -> unit) -> Sig_pack.S.t -> Sig_pack.S.V.t -> unit
end