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