emptyCtx | |
1 (Function) | C |
2 (Function) | A |
3 (Function) | TAL |
4 (Function) | K |
5 (Function) | F |
evalPrim | Util |
evaluate | |
1 (Function) | C |
2 (Function) | K |
3 (Function) | F |
Exists | |
1 (Data Constructor) | C |
2 (Data Constructor) | A |
3 (Data Constructor) | TAL |
extendDecl | C |
extendTm | |
1 (Function) | C |
2 (Function) | A |
3 (Function) | K |
4 (Function) | F |
extendTms | |
1 (Function) | C |
2 (Function) | A |
3 (Function) | K |
extendTy | |
1 (Function) | C |
2 (Function) | A |
3 (Function) | TAL |
4 (Function) | K |
5 (Function) | F |
extendTys | |
1 (Function) | C |
2 (Function) | A |
3 (Function) | TAL |
4 (Function) | K |