Module Tp2::AnyHoldsFor

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

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