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