sig
type
t = char
val
eq : t
BatOrd
.eq
end