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