public override void Check(TEnv env) { e.Check(env); }
public override Type Check(TEnv env) { return(env.GetVariable(name)); }
abstract public void Check(TEnv env);
public override Type Check(TEnv env) { return(new PointerType(e.Check(env))); }
public override Type Check(TEnv env) { return(access.Check(env)); }
public override Type Check(TEnv env) { return(type); }
abstract public Type Check(TEnv env);