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