|
InutitionTC
0.30
|
The representation of the abstraction (i.e. existential quantifier elimination) Term. More...
#include <checker.h>
Data Fields | |
| Name | name1 |
| Type * | type2 |
| Name | name3 |
| Type * | type4 |
| Term * | term5 |
| Term * | term6 |
The representation of the abstraction (i.e. existential quantifier elimination) Term.
1.8.10