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