diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-26 16:43:21 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-26 16:43:21 +0600 |
| commit | 3891244d49d3c65ef6da6b8644cfb9097b0d51b0 (patch) | |
| tree | 45589a38e11e03b6af9edab7af25d4ab94ec24df /src/vytree.mli | |
| parent | 727deb901e3090653644a135c238c2f2878a4d8e (diff) | |
| download | vyconf-3891244d49d3c65ef6da6b8644cfb9097b0d51b0.tar.gz vyconf-3891244d49d3c65ef6da6b8644cfb9097b0d51b0.zip | |
Add Vytree.exists for checking if path exists in a tree.
Diffstat (limited to 'src/vytree.mli')
| -rw-r--r-- | src/vytree.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vytree.mli b/src/vytree.mli index 4f57a0e..4b52727 100644 --- a/src/vytree.mli +++ b/src/vytree.mli @@ -30,3 +30,5 @@ val list_children : 'a t -> string list val get : 'a t -> string list -> 'a t val get_existent_path : 'a t -> string list -> string list + +val exists : 'a t -> string list -> bool |