Next: Irrelevant Values of
Up: External Functions
Previous: Runs
It may happen that the environment controls only a part of a function 
and the remaining part of is governed internally. In such a case it
is natural to speak about internal and external locations rather than
internal and external functions. See an example in [BGR, 3.1]. The
generalization to that case is relatively straightforward.