7 Tree pushValueDef(Tree id, Tree def, Tree lenv);
9 bool searchIdDef(Tree id, Tree& def, Tree lenv);
11 Tree pushMultiClosureDefs(Tree ldefs, Tree visited, Tree lenv);
13 Tree copyEnvReplaceDefs(Tree anEnv, Tree ldefs, Tree visited, Tree curEnv);
15 bool isEnvBarrier(Tree t);
17 Tree pushEnvBarrier(Tree lenv);
20 #endif // ENVIRONMENT_HH