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