|
|
|
|
|
| Class | Description |
|---|---|
| BoundVariable |
A bound variable is special type of Variable which stores it's
origin name because it may be renamed by alpha conversion.
|
| Function |
A TermAtom which represents a function symbol.
|
| Lambda |
A TermAtom which represents a lambda binding.
|
| TermAtom |
Base class for all the atomic types like function symbols and variables.
|
| Variable |
A TermAtom which represents a variable.
|