public static final int APP
public static final int FIRST
public static final int FUNCTION_TYPE
public static final int IDENTIFIER
public static final int LAMBDA
public static final int LINEAR_APP
public static final int LINEAR_LAMBDA
public static final int LOLLIPOP
public static final int PAIR
public static final int SECOND
public static final int TOP
public static final int TYPE_FAMILY_CONSTANT
public static final int TYPE_FAMILY_INSTANTIATION
public static final int UNIT
public static final int VARIABLE
public static final int WITH
public abstract String astString(int indent)
public abstract int type()