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.