module type IMPERATIVE_MAPS =sig..end
type key
type 'data t
val create : unit -> 'data tval clear : 'data t -> unitval add : key -> 'data -> 'data t -> unitval find : key -> 'data t -> 'dataval iter : (key -> 'data -> unit) ->
'data t -> unit