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
|