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