Functor Util.OTProduct

module OTProduct: 
functor (X : Sig.ORDERED_TYPE) ->
functor (Y : Sig.ORDERED_TYPE) -> ORDERED_TYPE with type t = X.t * Y.t
Cartesian product of two ordered types.
Parameters:
X : Sig.ORDERED_TYPE
Y : Sig.ORDERED_TYPE