java.lang.Object | +----With
public With(Type l, Type r)
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 indent)