InutitionTC  0.30
Data Fields
YYSTYPE Union Reference

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.
 
Anyany
 Container with a parsed subexpression.
 
string name
 A name of a parsed identifier to be used in terms.
 
nameSetns
 A nameSet of terms or types used to construct terms that involve sequences of names (e.g. quantified formulas).
 
envmapemap
 An envmap environment that contains a number of formulas or terms that involve sequences of terms (e.g. predicate applications).
 
McasIncaseterm
 A structure to hold a case of a case term.
 

Detailed Description

The union type of the values passed as the return value in the parser.


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