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