Module Graph.Util

Some useful operations.

Cartesian product of two ordered types.

module HTProduct (X : Sig.HASHABLE) (Y : Sig.HASHABLE) : Sig.HASHABLE with type t = X.t * Y.t

Cartesian product of two hashable types.

Cartesian product of two comparable types.

module DataV (L : sig ... end) (V : Sig.COMPARABLE) : sig ... end

Create a vertex type with some data attached to it