InutitionTC
0.30
Main Page
Data Structures
Files
Data Structures
Data Structure Index
Data Fields
Data Fields
Kpi Struct Reference
The representation of the pi
Kind
.
More...
#include <
checker.h
>
Data Fields
Name
name
Type
*
type
Kind
*
kind
Detailed Description
The representation of the pi
Kind
.
The documentation for this struct was generated from the following file:
/home/alx/Praca/latechi/typechecker/checker/c-code/
checker.h
Generated by
1.8.10