1 files changed, 5 insertions, 3 deletions

diff --git a/inc/term.h b/inc/term.h
index 6ce204b..578e734 100644
--- a/inc/term.h
+++ b/inc/term.h
@@ -22,11 +22,13 @@ struct term {
 	} u;
 };
 
+void to_barendregt(struct term *term);
+void to_bruijn(struct term *term);
 struct term *new_term(term_type type);
+struct term *duplicate_term(struct term *term);
+int alpha_equivalency(struct term *a, struct term *b);
+void free_term(struct term *term);
 void print_term(struct term *term);
 void print_scheme(struct term *term);
-void free_term(struct term *term);
-void to_barendregt(struct term *term);
-void to_bruijn(struct term *term);
 
 #endif