Effects on Storage Full
The AN2 yielder stored in Y is equivalent to the AN1 yielder the storable stored in Y. The yielder the s stored in Y has the same meaning in both AN1 and AN2, but is parsed in AN2 as the s (stored in Y), where the s is the data operation projecting onto the subsort corresponding to s. The action update may be written with arguments as update (Y1, Y2), corresponding exactly to the AN1 action store Y2 in Y1, so there seems to be no need for the latter notation in AN2. |
Data| Actions as Data| Flow of Data and Control| Scopes of Bindings| Interactive Processes