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