InutitionTC
0.30
|
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 |
Type * | mType |
Term * | mTerm |
Kind * | mKind |
Name | mName |
Bind | mBind |
The wrapper that makes it possible to store in envmap different species of elements that occur in typechecking process.