diff options
Diffstat (limited to 'inc')
-rw-r--r-- | inc/term.h | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -13,7 +13,6 @@ typedef enum { INV, ABS, APP, VAR } term_type_t; struct term { term_type_t type; hash_t hash; - struct hashmap *parents; size_t refs; size_t depth; @@ -35,8 +34,8 @@ struct term { }; struct term *term_new(term_type_t type, hash_t hash, size_t depth); +void term_destroy_head(struct term *term); char term_is_beta_redex(struct term *term); -void term_rehash_parents(struct term *term); struct term *term_rehash(struct term *term); struct term *term_rehash_abs(struct term *head, struct term *term); struct term *term_rehash_app(struct term *head, struct term *lhs, |