jon.recoil.org

Module G.V

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.

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

Vertices are labeled.

type label
val create : G.V.label -> G.V.t
val label : G.V.t -> G.V.label