sig
type
t
val
eq :
BatOrd
.
Eq
.t
BatOrd
.eq
end