Module Tp2::ContainsAny

A module with a single predicate, holds, that holds if the current tuple set contains any of the tuples of the given tuple predicate tp2.

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