void.java

来自「本设计Tiger语言为源语言」· Java 代码 · 共 7 行

package Types;

public class VOID extends Type {
	public VOID () {}
	public boolean coerceTo(Type t) {return (t.actual() instanceof VOID);}
}