package fix

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:

• set does not extend the map,
• get cannot raise Not_found.