Assertion: expression's form | /r/HasProperty | x op y
Facets:
Source sentences:
text: An operation of the form x op y , where op is an overloadable binary operator, x is an expression of type X , and y is an expression of type Y , is processed as follows: