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