aboutsummaryrefslogtreecommitdiff
path: root/inc/term.h
diff options
context:
space:
mode:
Diffstat (limited to 'inc/term.h')
-rw-r--r--inc/term.h7
1 files changed, 7 insertions, 0 deletions
diff --git a/inc/term.h b/inc/term.h
index eb74c2c..5256b3c 100644
--- a/inc/term.h
+++ b/inc/term.h
@@ -28,7 +28,14 @@ struct term {
};
struct term *term_new(term_type_t type, hash_t hash, size_t depth);
+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);
+
+void term_refer_head(struct term *term, size_t depth);
void term_refer(struct term *term, size_t depth);
+void term_deref(struct term *term);
+
void term_print(struct term *term);
#endif