The representation of the first projection (i.e. conjunction elimination) Term. More...
#include <checker.h>
The representation of the first projection (i.e. conjunction elimination) Term.