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