diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/vytree.ml | 6 |
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 |