Assertion: type variable | /r/AtLocation | the sense
Facets:
Source sentences:
text: Even in programming languages that allow mutable variables, a type variable remains an abstraction, in the sense that it does not correspond to some memory locations.