1 files changed, 0 insertions, 19 deletions
diff --git a/src/vytree/vytree.mli b/src/vytree/vytree.mli
deleted file mode 100644
index 1b42de7..0000000
--- a/src/vytree/vytree.mli
+++ /dev/null
@@ -1,19 +0,0 @@
-type 'a t
-
-exception Empty_path
-exception Duplicate_child
-exception Nonexistent_path
-
-val make : string -> 'a -> 'a t
-val make_full : string -> 'a -> ('a t) list -> 'a t
-
-val name_of_node : 'a t -> string
-val data_of_node : 'a t -> 'a
-val children_of_node : 'a t -> 'a t list
-
-val insert_child :
-  'a -> 'a t -> string list -> 'a -> 'a t
-
-val delete_child : 'a t -> string list -> 'a t
-
-val list_children : 'a t -> string list