Module Tp4::ContainedBy

A module with a single predicate, holds, that holds if all of the tuples in the current tuple set satisfy the given property prop.

Sibling predicate of AllHoldsFor, which takes a “property” instead of a “tuple predicate.”