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