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