sig
  type t
  type label
  val label : Path.G.E.t -> Path.G.E.label
  val src : Path.G.E.t -> V.t
  val dst : Path.G.E.t -> V.t
  val create : V.t -> Path.G.E.label -> V.t -> Path.G.E.t
end