aboutsummaryrefslogtreecommitdiff
path: root/inc/parse.h
diff options
context:
space:
mode:
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;