Assertion: variable | /r/CapableOf | read without any risk of side-effects
Facets:
value: to functions
type: TRANSITIVE-OBJECT
Source sentences:
text: Hence variables of this scope can be declared, written to, and read, without any risk of side-effects to functions outside of the block in which they are declared.