Assertion: variable's declaration | /r/CapableOf | provide assurance
Facets:
value: to the compiler
type: TRANSITIVE-OBJECT
Source sentences:
text: A variable declaration provides assurance to the compiler that there exists a variable with the given type and name so that the compiler can proceed for further compilation without requiring the complete detail about the variable.