Assertion: unary predicate | /r/HasProperty | implemented as function object types
Facets:
Source sentences:
text: Even if you study unary predicates that are implemented as function object types (i.e., they are classes with an overloaded function call operator), they rarely have data members or do anything complicated, and they never have side effects.