Module Util.OTProduct

Parameters

• X : Sig.ORDERED_TYPE
• Y : Sig.ORDERED_TYPE

Signature

type t = X.t * Y.t

val compare : t -> t -> int