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