sig
  type ('a, 'b) t
  val create : unit -> ('a, 'b) Assoc.ASSOC.t
  val clear : ('a, 'b) Assoc.ASSOC.t -> unit
  val get_assoc : ('a, 'b) Assoc.ASSOC.t -> '-> 'b
  val update_assoc : ('a, 'b) Assoc.ASSOC.t -> '-> '-> unit
  val remove_assoc : ('a, 'b) Assoc.ASSOC.t -> '-> unit
  val assoc_to_keys : ('a, 'b) Assoc.ASSOC.t -> 'a list
  val assoc_to_list : ('a, 'b) Assoc.ASSOC.t -> 'b list
  val assoc_size : ('a, 'b) Assoc.ASSOC.t -> int
  val filter : ('a, 'b) Assoc.ASSOC.t -> ('a * '-> bool) -> ('a * 'b) list
end