Assertion: parameter | /r/HasProperty | returned by the function
Facets:
Source sentences:
text: In the special case of a function with a single output or input/output parameter and no return value, function composition is possible if the output or input/output parameter (or in C/C++, its address) is also returned by the function, in which case the above becomes: