Facets Incomes


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.


   
Facets Notation Index | Facets Actions | Facets Yielders | Facets Outcomes | Facets Incomes