Module Util.OTProduct

Parameters

module X : Sig.ORDERED_TYPE
module Y : Sig.ORDERED_TYPE

Signature

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