java.lang.Object | +----Second
public Second(BaseObject bo)
public BaseObject nth(int i)
public String value() throws LLFException
public Variable variable() throws LLFException
public Type lambdaType() throws LLFException
public BaseObject leftSubterm() throws LLFException
public BaseObject rightSubterm() throws LLFException
public BaseObject subterm() throws LLFException
public int type()
public String toString()
public String astString(int indent)