module CMPProduct: functor (X : Sig.COMPARABLE) -> functor (Y : Sig.COMPARABLE) -> COMPARABLE with type t = X.t * Y.t
functor (
X
:
Sig.COMPARABLE
) ->
Y
COMPARABLE
with type t = X.t * Y.t
Cartesian product of two comparable types.