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