InutitionTC  0.30
Data Fields
Kpi Struct Reference

The representation of the pi Kind. More...

#include <checker.h>

Data Fields

Name name
 
Typetype
 
Kindkind
 

Detailed Description

The representation of the pi Kind.


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