Graph.UtilSourceSome useful operations.
module OTProduct
(X : Sig.ORDERED_TYPE)
(Y : Sig.ORDERED_TYPE) :
Sig.ORDERED_TYPE with type t = X.t * Y.tCartesian product of two ordered types.
Cartesian product of two hashable types.
module CMPProduct
(X : Sig.COMPARABLE)
(Y : Sig.COMPARABLE) :
Sig.COMPARABLE with type t = X.t * Y.tCartesian product of two comparable types.
Create a vertex type with some data attached to it