Module Util.OTProductSource

Cartesian product of two ordered types.

Parameters

Signature

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