Util.OTProduct
Cartesian product of two ordered types.
X : Graph.Sig.ORDERED_TYPE
Y : Graph.Sig.ORDERED_TYPE
type t
= X.t * Y.t
val compare : t -> t -> int