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