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