Module type Sig.VERTEX

module type VERTEX = sig .. end

Signature for vertices.


Vertices are Sig.COMPARABLE.

type t 
include Sig.COMPARABLE

Vertices are labeled.

type label 
val create : label -> t
val label : t -> label