package lrgrep
Module type Fix.ARRAYSource
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:
setdoes not extend the map,getcannot raiseNot_found.