diff options
Diffstat (limited to 'inc/parse.h')
-rw-r--r-- | inc/parse.h | 22 |
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; |