Checks if a unary predicate p does not returns true for any element in t.
On a record type, the function operates on the underlying elements of the fields.