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`