Assertion: variable's declaration | /r/CapableOf | specify its type signature
Facets:
value: beyond the name
type: OTHER
value: typically
type: DEGREE
value: for functions
type: TRANSITIVE-OBJECT
value: similarly
type: MANNER
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.
text: Beyond the name (the identifier itself) and the kind of entity (function, variable, etc.), declarations typically specify the data type (for variables and constants), or the type signature (for functions); types may also include dimensions, such as for arrays.