module type VERTEX = sig .. end
sig
end
Signature for vertices.
Vertices are Sig.COMPARABLE.
Sig.COMPARABLE
type t
include Sig.COMPARABLE
Vertices are labeled.
type label
val create : label -> t
label -> t
val label : t -> label
t -> label