Module Tp6::AllHoldsFor

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 ContainedBy which takes a “tuple predicate” instead of a “property.”