|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| Interface Summary | |
| Abstraction | Abstraction Term. |
| Application | Application Term. |
| EndOfScope | Term with end-of-scope role. |
| Leaf | Leaf term in a namefree lambda-term. |
| Term | Namefree lambda-term. |
| TermFactory | Factory of Terms. |
| TermStack | Term stack. |
| TermWithBody | Term with body. |
|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||