|
InutitionTC
0.30
|
The union type of the values passed as the return value in the parser. More...
#include <parserHelpers.h>
Data Fields | |
| eAnyH | kindof |
| Information on which particular type constructor has been read. | |
| Any * | any |
| Container with a parsed subexpression. | |
| string | name |
| A name of a parsed identifier to be used in terms. | |
| nameSet * | ns |
| A nameSet of terms or types used to construct terms that involve sequences of names (e.g. quantified formulas). | |
| envmap * | emap |
| An envmap environment that contains a number of formulas or terms that involve sequences of terms (e.g. predicate applications). | |
| McasIn * | caseterm |
| A structure to hold a case of a case term. | |
The union type of the values passed as the return value in the parser.
1.8.10