sig
  type t
  val compare : Sig_pack.S.E.t -> Sig_pack.S.E.t -> int
  val src : Sig_pack.S.E.t -> Sig_pack.S.V.t
  val dst : Sig_pack.S.E.t -> Sig_pack.S.V.t
  type label = int
  val create :
    Sig_pack.S.V.t -> Sig_pack.S.E.label -> Sig_pack.S.V.t -> Sig_pack.S.E.t
  val label : Sig_pack.S.E.t -> Sig_pack.S.E.label
  type vertex = Sig_pack.S.V.t
end