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