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