diff options
Diffstat (limited to 'inc/term.h')
-rw-r--r-- | inc/term.h | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -30,10 +30,12 @@ struct term { }; struct term *term_new(term_type_t type, hash_t hash, size_t depth); +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, struct term *rhs); - +struct term *term_rehash_var(struct term *head, size_t index); void term_refer_head(struct term *term, size_t depth); void term_refer(struct term *term, size_t depth); void term_deref_head(struct term *term); |