public abstract BaseObject nth(int i)
public abstract String value() throws LLFException
public abstract Variable variable() throws LLFException
public abstract Type lambdaType() throws LLFException
public abstract BaseObject leftSubterm() throws LLFException
public abstract BaseObject rightSubterm() throws LLFException
public abstract BaseObject subterm() throws LLFException