1 files changed, 13 insertions, 0 deletions
diff --git a/proposition.h b/proposition.h
new file mode 100644
index 0000000..5ffb009
--- /dev/null
+++ b/proposition.h
@@ -0,0 +1,13 @@
+#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