module V: Sig.VERTEX
Sig.VERTEX
Sig.COMPARABLE
type t
include Sig.COMPARABLE
type label
val create : label -> t
label -> t
val label : t -> label
t -> label