Imperative Yielders

current storage | the d stored in Y

   current storage: current storagecurrent storage a yielder of storage maps. Yields the state of storage.

   
the d stored in Y: a yielder of storable data, where d is a sort of data and Y is a yielder of cells. Yields the data of sort d stored in the cell yielded by Y according to the current storage, provided that the cell is currently reserved.
 

Example



    Imperative Action Index | Imperative Actions | Imperative Yielders | Imperative Data