Assertion: data type | /r/CapableOf | constrain value
Facets:
Source sentences:
text: A data type constrains the values that an expression, such as a variable or a function, might take.