aboutsummaryrefslogtreecommitdiff
path: root/inc/term.h
diff options
context:
space:
mode:
Diffstat (limited to 'inc/term.h')
-rw-r--r--inc/term.h4
1 files changed, 3 insertions, 1 deletions
diff --git a/inc/term.h b/inc/term.h
index 3216e4a..019fa82 100644
--- a/inc/term.h
+++ b/inc/term.h
@@ -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);