|
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.
1.8.10