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.