InutitionTC
0.30
|
The representation of the types in the typesystem. More...
#include <checker.h>
Data Fields | |
eType | which |
Tvar | tVar |
Tall | tAll |
Tapp | tApp |
Texi | tExi |
Tand | tAnd |
Tor | tOr |
Tbot | tBot |
The representation of the types in the typesystem.