The calls of a function body roots whose environment operation depends on the call of the function: a name not written down, or a read or removal in an environment the body does not bind (what a body defines in such an environment under a name written down already reaches the caller, see InGraphIdentifierDefinition#envWrites).
The calls of a function body
rootswhose environment operation depends on the call of the function: a name not written down, or a read or removal in an environment the body does not bind (what a body defines in such an environment under a name written down already reaches the caller, see InGraphIdentifierDefinition#envWrites).