|
InutitionTC
0.30
|
The representation of the tuple (i.e. conjunction introduction) Term. More...
#include <checker.h>
Data Fields | |
| Type * | type |
| Term * | term1 |
| Term * | term2 |
The representation of the tuple (i.e. conjunction introduction) Term.
1.8.10