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:
set
does not extend the map,get
cannot raise Not_found
.