#ifndef PROPOSITION
#define PROPOSITION
#include "lexer.h"
typedef struct Proposition {
	struct Proposition* propA;
	struct Proposition* propB;
	tokenType_t relation;
	char isSimple;
} prop_t;
typedef struct Justification {
	tokenType_t rule;
} just_t;
#endif