Module Util.CMPProduct

Cartesian product of two comparable types.

Parameters

module X : Sig.COMPARABLE
module Y : Sig.COMPARABLE

Signature

type t = X.t * Y.t
val compare : t -> t -> int
val hash : t -> int
val equal : t -> t -> bool