#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.