functor
(
T1
:
BatOrd
.
Eq
) (
T2
:
BatOrd
.
Eq
)
->
sig
type
t =
T1
.t *
T2
.t
val
eq : t
BatOrd
.eq
end