Module Tp1::ExtendByRelation

Extend this tuple predicate to have an additional column, by running a provided relation over each tuple in this predicate’s tuple set, and using the result of that relation as the new column.

Sibling module of ExtendByFn, which takes a “function” instead of a “relation.”