Class With

java.lang.Object
   |
   +----With

public class With

extends Object

implements Type

With(Type, Type)

astString(int)

leftSubterm()

rightSubterm()

toString()

type()

variable()

 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()

Overrides:

toString in class Object

 public String astString(int indent)