Module Util.OTProduct

Cartesian product of two ordered types.

Parameters

Signature

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