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