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