Functor Util.CMPProduct

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