Adds the writes a called function made into environments its free variables name (see InGraphIdentifierDefinition#envWrites) to the environments the caller binds these names to; a name still free in a calling function body stays with the writes, so its own calls add them.
Adds the
writesa called function made into environments its free variables name (see InGraphIdentifierDefinition#envWrites) to the environments the caller binds these names to; a name still free in a calling function body stays with the writes, so its own calls add them.