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