sig
type
t
val
compare :
BatOrd
.
Comp
.t
BatOrd
.comp
end