From abf68e0ad6c9f6d6cd14693894c609faca925e22 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 27 May 2023 10:07:24 +0200
Subject: Moved term logic

---
 inc/parse.h | 22 +---------------------
 1 file changed, 1 insertion(+), 21 deletions(-)

(limited to 'inc/parse.h')

diff --git a/inc/parse.h b/inc/parse.h
index e79fb26..9dfa388 100644
--- a/inc/parse.h
+++ b/inc/parse.h
@@ -5,27 +5,7 @@
 #define CALM_PARSE_H
 
 #include <lib/hash.h>
-
-typedef enum { INV, ABS, APP, VAR } term_type_t;
-
-struct term {
-	term_type_t type;
-	hash_t hash;
-	size_t refs;
-	size_t depth;
-	union {
-		struct {
-			struct term *term;
-		} abs;
-		struct {
-			struct term *lhs;
-			struct term *rhs;
-		} app;
-		struct {
-			int index;
-		} var;
-	} u;
-};
+#include <term.h>
 
 struct term_handle {
 	struct term *term;
-- 
cgit v1.2.3