lexing works

1 files changed, 13 insertions, 0 deletions

diff --git a/parse.h b/parse.h
new file mode 100644
index 0000000..0bfe06f
--- /dev/null
+++ b/parse.h
@@ -0,0 +1,13 @@
+#ifndef PARSE
+#define PARSE
+#include "proposition.h"
+typedef struct Line {
+	prop_t proposition;
+	just_t justification;
+} line_t;
+typedef struct LineSet {
+	line_t* lines;
+	int count;
+} lineSet_t;
+lineSet_t init_lineset(line_t* lines, int count);
+#endif