Callable object counting the number of elements of t not equivalent to false.
On a record type, the function operates on the underlying elements of the fields.