|
InutitionTC
0.30
|
The representation of the proof terms in the typesystem. More...
#include <checker.h>
Data Fields | |
| eTerm | which |
| Mvar | mVar |
| Mapp | mApp |
| Mlam | mLam |
| Mwit | mWit |
| Mabs | mAbs |
| Mtup | mTup |
| Mpi1 | mPi1 |
| Mpi2 | mPi2 |
| Min1 | mIn1 |
| Min2 | mIn2 |
| Mcas | mCas |
| Meps | mEps |
The representation of the proof terms in the typesystem.
1.8.10