sig
type
t =
E
.t
val
compare : t
->
t
->
int
val
default : t
end