InutitionTC  0.30
Data Fields
Kind Struct Reference

The representation of the kinds in the typesystem. More...

#include <checker.h>

Data Fields

eKind which
 
Kstar kStar
 
Kpi kPi
 

Detailed Description

The representation of the kinds in the typesystem.


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