sig
  type t
  type label
  val label : Prim.G.E.t -> Prim.G.E.label
  val dst : Prim.G.E.t -> V.t
  val src : Prim.G.E.t -> V.t
  val compare : Prim.G.E.t -> Prim.G.E.t -> int
end