Assertion: typed racket | /r/CapableOf | offer abstraction
Facets:
value: over values
type: OTHER
value: over types
type: OTHER
Source sentences:
text: Typed Racket offers abstraction over types as well as values.