Module Tp4::ContainsAll
A module with a single predicate, holds, that holds if the current tuple set contains all
of the tuples of the given tuple predicate tp2.
Import path
import qtil.fn.generated.TpPredicates
Parameters
| tp2 | tp |
A module with a single predicate, holds, that holds if the current tuple set contains all
of the tuples of the given tuple predicate tp2.
import qtil.fn.generated.Tp| tp2 | tp |