sig type t val hash : Gml.G.V.t -> int val equal : Gml.G.V.t -> Gml.G.V.t -> bool type label val label : Gml.G.V.t -> Gml.G.V.label end