income |
given d |
current bindings |
current storage |
current buffer |
current redirections
income: a sort of auxiliary entities,
used for specifying sorts of actions and yielders. Sort union
I1 | I2 combines incomes. (The various incomes below are
disjoint, so there is no use for specifying their intersections.)
given d: allows use of given transients
of the data sort d. More specifically, the income given
d#p specifies possible use of the p'th component of the given
transients, this being of datum sort d.
current bindings: allows use of received bindings.
current storage: allows use of storage.
current buffer: allows use of the message buffer.
current redirections: allows use of indirect bindings.
OBS:These incomes are not implemented by the action interpreter.
|