Method function

src/chap14/TypeInfo.java:59–61

(TypeInfo ret, TypeInfo... params)

            throw new TypeException("unknown type " + tname, tag);
    }
    public static FunctionType function(TypeInfo ret, TypeInfo... params) {
        return new FunctionType(ret, params);
    }
    public boolean isFunctionType() { return false; }
    public FunctionType toFunctionType() { return null; }
    public boolean isUnknownType() { return false; }