Assertion: variable's type | /r/CapableOf | check for type errors
Facets:
Source sentences:
text: The type tells the compiler how to handle the variable and check for type errors.