InutitionTC  0.30
Data Fields
Any Struct Reference

The wrapper that makes it possible to store in envmap different species of elements that occur in typechecking process. More...

#include <checker.h>

Data Fields

eAny which
 
TypemType
 
TermmTerm
 
KindmKind
 
Name mName
 
Bind mBind
 

Detailed Description

The wrapper that makes it possible to store in envmap different species of elements that occur in typechecking process.


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