summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/vytree.ml6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/vytree.ml b/src/vytree.ml
index 71a7272..44a2a62 100644
--- a/src/vytree.ml
+++ b/src/vytree.ml
@@ -4,12 +4,18 @@ type 'a vyconf_tree = {
children: 'a vyconf_tree list
}
+type 'a t = 'a vyconf_tree
+
exception Empty_path
exception Duplicate_child
exception Nonexistent_path
let make name data = { name = name; data = data; children = [] }
+let name_of_node node = node.name
+let data_of_node node = node.data
+let children_of_node node = node.children
+
let rec find_child_in_list children name =
match children with
| [] -> None