Module Util.CMPProductSource

Cartesian product of two comparable types.

Parameters

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

Signature

Sourcetype t = X.t * Y.t
Sourceval compare : t -> t -> int
Sourceval hash : t -> int
Sourceval equal : t -> t -> bool