diff options
Diffstat (limited to 'src/vytree.ml')
| -rw-r--r-- | src/vytree.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vytree.ml b/src/vytree.ml index 93d3d71..b5dcba6 100644 --- a/src/vytree.ml +++ b/src/vytree.ml @@ -97,6 +97,8 @@ let rec get node path = | [name] -> find_or_fail node name | name :: names -> get (find_or_fail node name) names +let get_data node path = data_of_node @@ get node path + let exists node path = try ignore (get node path); true with Nonexistent_path -> false |