Module type Fix.ARRAY

An instance of the signature ARRAY represents one mutable map. There is no type 'data t and no create operation; there exists just one map. Furthermore, the type value, which corresponds to 'data in the previous signatures, is fixed.

The domain of the map never changes:

type key

The type of keys.

type value

The type of values.

val get : key -> value

get looks up the map. It cannot raise an exception.

val set : key -> value -> unit

set updates the map at an existing key.