Directive Data

redirections | indirection | indirect production d

   redirections: a subsort of map . Its individuals represent collections of associations between indirections and bindable (or unknown ) individuals.

   
indirection: a subsort of distinct-datum . An indirection represents a point of circularity on a particular agent, but it can be re-produced on another agent (by a closure).

   
indirect production d : an abstraction, where d is redirections. Incorporates the action indirectly produce d . Useful when d is a redirections yielder. For example, an evaluation of indirect production current redirections yields an abstraction which, when enacted, always reflects the redirections received by the evaluation.
   OBS:These data are not implemented by the action interpreter.


    Directive Action Index | Directive Actions | Directive Yielders | Directive Data