InutitionTC  0.30
Data Fields
Mwit Struct Reference

The representation of the exists (i.e. existential quantifier introduction) Term. More...

#include <checker.h>

Data Fields

Typetype
 
Termterm1
 
Termterm2
 

Detailed Description

The representation of the exists (i.e. existential quantifier introduction) Term.


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