sig   module E : Entries   type key = E.key   type data = E.data   val mem : Model.Registry.key -> bool   val find : Model.Registry.key -> Model.Registry.data   val get : Model.Registry.key -> Model.Registry.data option   val define : Model.Registry.key -> Model.Registry.data -> unit   val update : Model.Registry.key -> Model.Registry.data -> unit   val memoize :     (Model.Registry.key -> Model.Registry.data) ->     Model.Registry.key -> Model.Registry.data   val compile :     (Model.Registry.key -> Model.Registry.data) -> Model.Registry.key -> unit   val callback : (Model.Registry.key -> Model.Registry.data -> unit) -> unit   val iter : (Model.Registry.key -> Model.Registry.data -> unit) -> unit   val iter_sorted :     (Model.Registry.key -> Model.Registry.data -> unit) -> unit end