Assertion: concept | /r/CapableOf | introduce type-checking
Facets:
value: to template programming
type: TRANSITIVE-OBJECT
Source sentences:
text: Concepts introduce type-checking to template programming