current bindings: a yielder of bindings maps. Yields the
collection of bindings received by its evaluation.
the d bound to T: a yielder of bindable data, where
d is a sort of data and T is a token. Yields the data of
sort d to which T is bound by the received bindings, if any.
Example
Y1 receiving Y2: a yielder,
where Y2 is a yielder of binding maps. Represents evaluation of
Y1 using reified bindings instead of current bindings.
|