java.lang.Object | +----Top
public Top()
public Variable variable() throws LLFException
public Type leftSubterm() throws LLFException
public Type rightSubterm() throws LLFException
public int type()
public String toString()
public String astString(int i)