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