aboutsummaryrefslogtreecommitdiff
path: root/inc/parse.h
diff options
context:
space:
mode:
authorMarvin Borner2023-05-27 10:07:24 +0200
committerMarvin Borner2023-05-27 10:07:24 +0200
commitabf68e0ad6c9f6d6cd14693894c609faca925e22 (patch)
tree0ac1a7f74f1543d8343ed346c577dbf1cda93bfe /inc/parse.h
parent337ec809393b709b36ca7b64d77489ae4bc1af1c (diff)
Moved term logic
Diffstat (limited to 'inc/parse.h')
-rw-r--r--inc/parse.h22
1 files changed, 1 insertions, 21 deletions
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;