Assertion: type variable | /r/CapableOf | range over type
Facets:
Source sentences:
text: In type theory and programming languages, a type variable is a mathematical variable ranging over types.