module type Registry =sig
..end
module E:Model.Entries
typekey =
E.key
typedata =
E.data
val mem : key -> bool
val find : key -> data
val get : key -> data option
val clear : unit -> unit
val remove : key -> unit
val define : key -> data -> unit
no redefinition ; circularity protected
val update : key -> data -> unit
set current value, with no protection
val memoize : (key -> data) ->
key -> data
with circularity protection
val compile : (key -> data) -> key -> unit
with circularity protection
val callback : (key -> data -> unit) -> unit
val iter : (key -> data -> unit) -> unit
val iter_sorted : (key -> data -> unit) -> unit