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 clear : unit -> unit
  val remove : Model.Registry.key -> unit
  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