|
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.
1.8.10