Assertion: unary predicate | /r/HasAspect | any side effect
Facets:
Source sentences:
text: A unary predicate can have any side effect other than the ones described in 4 and 5.
text: A unary predicate can have any side effects except modification of its argument and invalidation of iterators or sequences that the algorithm works with.
text: A unary predicate must not modify its argument and must not invalidate iterators or sequences that the algorithm works with, but may have any other side effects.