Assertion: parameter's type | /r/HasProperty | struct tuple
Facets:
Source sentences:
text: Types > struct Tuple { } ; Tuple <> t0 ;