jon.recoil.org

Module GRAPH.VSource

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 COMPARABLE.

Sourcetype t
include Graph.Sig.COMPARABLE with type t := V.t
Sourceval compare : V.t -> V.t -> int
Sourceval hash : V.t -> int
Sourceval equal : V.t -> V.t -> bool

Vertices are labeled.

Sourcetype label
Sourceval create : V.label -> V.t
Sourceval label : V.t -> V.label