Add vytree module signature.

1 files changed, 16 insertions, 0 deletions

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