Assertion: variable | /r/HasProperty | typed
Facets:
Source sentences:
text: All variables in C are typed.