InutitionTC
0.30
|
The representation of the ex falso quod libet (i.e. falsity elimination) Term. More...
#include <checker.h>
Data Fields | |
Type * | type |
Term * | term |
The representation of the ex falso quod libet (i.e. falsity elimination) Term.