module V:Sig.VERTEX
Vertices have type V.t
and are labeled with type V.label
(note that an implementation may identify the vertex with its
label)
Vertices are Sig.COMPARABLE
.
type
t
include Sig.COMPARABLE
Vertices are labeled.
type
label
val create : label -> t
val label : t -> label