Predicate Tp2::Project1::tp

A predicate tuple that represents the result of a projection, from the input tuple predicate, to a new tuple predicate with a single column derived from applying a tuple to the given function map.

For projecting this tuple by a “relation” (as opposed to a “function”), see ProjectRelate.