diff options
Diffstat (limited to 'inc/term.h')
-rw-r--r-- | inc/term.h | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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 |