Module Graph__Util

Some useful operations.

module OTProduct : functor (X : Graph.Sig.ORDERED_TYPE) -> functor (Y : Graph.Sig.ORDERED_TYPE) -> Graph.Sig.ORDERED_TYPE with type t = X.t * Y.t

Cartesian product of two ordered types.

module HTProduct : functor (X : Graph.Sig.HASHABLE) -> functor (Y : Graph.Sig.HASHABLE) -> Graph.Sig.HASHABLE with type t = X.t * Y.t

Cartesian product of two hashable types.

module CMPProduct : functor (X : Graph.Sig.COMPARABLE) -> functor (Y : Graph.Sig.COMPARABLE) -> Graph.Sig.COMPARABLE with type t = X.t * Y.t

Cartesian product of two comparable types.

module DataV : functor (L : sig ... end) -> functor (V : Graph.Sig.COMPARABLE) -> sig ... end

Create a vertex type with some data attached to it