public override void Check(TEnv env)
{
env.PushEnv();
foreach (Statement stmt in statements)
{
stmt.Check(env);
}
env.PopEnv();
}
public void Check(TEnv env)
{
env.PushEnv();
foreach (VarDecl parameter in parameters)
{
env.DeclareLocal(parameter);
}
body.Check(env);
env.PopEnv();
}