1 files changed, 3 insertions, 0 deletions
diff --git a/sets.h b/sets.h
index 930314d..44114d1 100644
--- a/sets.h
+++ b/sets.h
@@ -54,6 +54,7 @@ set set_diff(const set a, const set b);
 
 bool is_set_empty(const set s);
 bool set_mem(int x, const set s);
+bool sets_equal(const set a, const set b);
 
 int elt_of_set(const set s);
 
@@ -63,6 +64,8 @@ void set_add_ip(int x, set s);
 set set_remove(int x, const set s);
 void set_remove_ip(int x, set s);
 
+void dump_set(const set s);
+
 #endif