InutitionTC  0.30
Data Fields
Term Struct Reference

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
 

Detailed Description

The representation of the proof terms in the typesystem.


The documentation for this struct was generated from the following file: