Module TypeCore.IVarMap

module IVarMap: Fix.IMPERATIVE_MAPS  with type key = var

This is an imperative version of VarMap, in the form expected by Fix.

type key

type 'data t

val create : unit -> 'data t

val clear : 'data t -> unit

val add : key -> 'data -> 'data t -> unit

val find : key -> 'data t -> 'data

val iter : (key -> 'data -> unit) ->
       'data t -> unit