HANDBOOK / GENTLE PRIMER / Smart Traversal /

Broadcasted Parameter

A sweep predicate may also have an additional input parameter of an arbitrary type T

Then, the additional parameter is passed to all constituents. The default rule has the form: