yielder: the sort of all yielders.
Y [d]: a sort of yielder, where Y is a
sort of action and d is a sort of data. Restricts Y to those
yielders which, whenever evaluated, yield data included in d. Note that
the union sort Y [d1] | Y [d2] is
generally a proper subsort of Y [d1|d2], whereas
Y [d1] & Y [d2] is the same sort as Y
[d1 & d2], which can also be written as Y [d1] [
d2].
<Y [of d]: equivalent to Y [d], but
a yielder [of an integer] reads a bit more naturally than yielder
[integer].
Y [using I]: a sort of yielder, where I is a sort of income. Restricts
Y to those yielders which, whenever evaluated, refer at most to the current
information indicated by I.
OBS:These yielders are not implemented by the action interpreter.
|