InutitionTC  0.30
Data Fields
Type Struct Reference

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
 

Detailed Description

The representation of the types in the typesystem.


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