sig
  type key
  type 'data t
  val create : unit -> 'data Fix.IMPERATIVE_MAPS.t
  val clear : 'data Fix.IMPERATIVE_MAPS.t -> unit
  val add :
    Fix.IMPERATIVE_MAPS.key -> 'data -> 'data Fix.IMPERATIVE_MAPS.t -> unit
  val find : Fix.IMPERATIVE_MAPS.key -> 'data Fix.IMPERATIVE_MAPS.t -> 'data
  val iter :
    (Fix.IMPERATIVE_MAPS.key -> 'data -> unit) ->
    'data Fix.IMPERATIVE_MAPS.t -> unit
end