sig
  type key = E.key
  type data = E.data
  val name : string
  val compare : Model.Entries.key -> Model.Entries.key -> int
  val pretty : Format.formatter -> Model.Entries.key -> unit
end