From b99887811733fef23ada237d0cfb6ab4708ee04c Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Sat, 28 Feb 2015 09:01:01 +0600
Subject: Move vytree to its own subdir.

---
 src/vytree/vytree.mli | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 src/vytree/vytree.mli

(limited to 'src/vytree/vytree.mli')

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
-- 
cgit v1.2.3