- #include "term.h"
- typedef struct LSUP_Triple {
- LSUP_Term *s;
- LSUP_Term *p;
- LSUP_Term *o;
- } LSUP_Triple;
- typedef struct LSUP_SerTriple {
- LSUP_SerTerm *s;
- LSUP_SerTerm *p;
- LSUP_SerTerm *o;
- } LSUP_SerTriple;
- // TODO Add constructors and destructors with term type checks.
|