public override bool Equal(UnAnnType a) { throw new NotImplementedException(); }
public VariableDeclaration(UnAnnType type, string name) { this.type = type; this.name = name; num = Globals.LastLocal++; }
public FormalParameter(UnAnnType formaltype, string name) { this.formaltype = type; this.name = name; }
public Result(UnAnnType returnType) { this.returnType = returnType; }
public override bool Equal(UnAnnType other) { return(other as BoolType != null); }
public abstract bool Equal(UnAnnType other);
public bool Compatible(UnAnnType other) { return(Equal(other)); }