Move vytree to its own subdir.

1 files changed, 19 insertions, 0 deletions

diff --git a/src/vytree/vytree.mli b/src/vytree/vytree.mli
new file mode 100644
index 0000000..1b42de7
--- /dev/null
+++ b/src/vytree/vytree.mli
@@ -0,0 +1,19 @@
+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