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