sig
  type key = c_site_name
  type value = site
  type ('a, 'b) dictionary
  val init : unit -> ('a, 'b) dictionary
  val member :
    Remanent_parameters_sig.parameters ->
    Exception.method_handler ->
    value -> ('a, 'b) dictionary -> Exception.method_handler * bool
  val allocate :
    Remanent_parameters_sig.parameters ->
    Exception.method_handler ->
    ('a -> 'a -> key) ->
    value ->
    'a ->
    (key -> 'b) ->
    ('a, 'b) dictionary ->
    Exception.method_handler * (key * 'a * 'b * ('a, 'b) dictionary) option
  val allocate_uniquely :
    Remanent_parameters_sig.parameters ->
    Exception.method_handler ->
    ('a -> 'a -> key) ->
    value ->
    'a ->
    (key -> 'b) ->
    ('a, 'b) dictionary ->
    Exception.method_handler * (key * 'a * 'b * ('a, 'b) dictionary) option
  val allocate_bool :
    Remanent_parameters_sig.parameters ->
    Exception.method_handler ->
    ('a -> 'a -> key) ->
    value ->
    'a ->
    (key -> 'b) ->
    ('a, 'b) dictionary ->
    Exception.method_handler *
    (bool * (key * 'a * 'b * ('a, 'b) dictionary) option)
  val unsafe_allocate :
    Remanent_parameters_sig.parameters ->
    Exception.method_handler ->
    value ->
    'a ->
    (key -> 'b) ->
    ('a, 'b) dictionary ->
    Exception.method_handler * (key * 'a * 'b * ('a, 'b) dictionary)
  val translate :
    Remanent_parameters_sig.parameters ->
    Exception.method_handler ->
    key ->
    ('a, 'b) dictionary ->
    Exception.method_handler * (value * 'a * 'b) option
  val stabilize : ('a, 'b) dictionary -> ('a, 'b) dictionary
  val iter :
    Remanent_parameters_sig.parameters ->
    Exception.method_handler ->
    (Remanent_parameters_sig.parameters ->
     Exception.method_handler ->
     key -> value -> 'a -> 'b -> Exception.method_handler) ->
    ('a, 'b) dictionary -> Exception.method_handler
  val last_entry :
    Remanent_parameters_sig.parameters ->
    Exception.method_handler ->
    ('a, 'b) dictionary -> Exception.method_handler * key
  val fold :
    (value -> 'a * 'b -> key -> 'c -> 'c) -> ('a, 'b) dictionary -> 'c -> 'c
end