OPERATOR TUPLE(ATTRNAME string, ATTRVAL ANY, ...) RETURNS TUPLE { * };

The tuple selector.

OPERATOR to_tuple(r RELATION { * }) RETURNS TUPLE { * };

Extracts a single tuple from a relation.