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 | 
