the d yielded by Y: a yielder, where
d is a sort of data and Y is a yielder. When Y
yields an individual, it yields that individual,
provided that the individual is included in the sort, otherwise it yields
nothing.
- Every data-operation (i.e., operation specified
for arguments included in data) is extended to
arguments of sort yielder. The application of a data
operation to yielders yields whatever is yielded by applying the data operation to the data yielded by the arguments.
For instance, sum(Y1, Y2) yields the numerical sum of whatever
Y1 and Y2 yield.
yielder: the
sort of all yielders.
|