module V: Sig.VERTEX
Sig.VERTEX
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