sig
  type t
  val compare : Sig_pack.S.V.t -> Sig_pack.S.V.t -> int
  val hash : Sig_pack.S.V.t -> int
  val equal : Sig_pack.S.V.t -> Sig_pack.S.V.t -> bool
  type label = int
  val create : Sig_pack.S.V.label -> Sig_pack.S.V.t
  val label : Sig_pack.S.V.t -> Sig_pack.S.V.label
end