From e3cc7a1dc276c64b9626479d09a0ae2d16638b75 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Fri, 13 Feb 2015 23:45:51 +0600
Subject: Add vytree module signature.

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

(limited to 'src')

diff --git a/src/vytree.mli b/src/vytree.mli
new file mode 100644
index 0000000..6a991c0
--- /dev/null
+++ b/src/vytree.mli
@@ -0,0 +1,16 @@
+type 'a t
+
+exception Empty_path
+exception Duplicate_child
+exception Nonexistent_path
+
+val make : string -> 'a -> '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 list_children : 'a t -> string list
-- 
cgit v1.2.3