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