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