Assertion: variable's declaration | /r/CapableOf | specify its type
Facets:
Source sentences:
text: One basic dichotomy is whether or not a declaration contains a definition: for example, whether a declaration of a constant or variable specifies the value of the constant (respectively, initial value of a variable), or only its type; and similarly whether a declaration of a function specifies the body (implementation) of the function, or only its type signature.