type.java

来自「tiger编译器的Java实现」· Java 代码 · 共 9 行

package Types;

public abstract class Type {
   public Type actual() {return this;}
         
   public boolean coerceTo(Type t) {return false;}
}