Assertion: symbol's use | /r/HasProperty | // type ascription
Facets:
Source sentences:
text: Used in type notations : // Type ascription or context bounds <