diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-26 12:47:48 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-26 12:47:48 +0600 |
| commit | 124b2b2e1081e45bfd31bb71992f9b60550e6668 (patch) | |
| tree | f1501faa4289e33a08caf2831d68bb7b6d5387d9 /src | |
| parent | e72f0a0af5600589333070612e93ed5be3d06f7e (diff) | |
| download | vyconf-124b2b2e1081e45bfd31bb71992f9b60550e6668.tar.gz vyconf-124b2b2e1081e45bfd31bb71992f9b60550e6668.zip | |
Expose Vytree.find/find_or_fail.
Diffstat (limited to 'src')
| -rw-r--r-- | src/vytree.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/vytree.mli b/src/vytree.mli index 2ce7a36..4f57a0e 100644 --- a/src/vytree.mli +++ b/src/vytree.mli @@ -16,6 +16,9 @@ val name_of_node : 'a t -> string val data_of_node : 'a t -> 'a val children_of_node : 'a t -> 'a t list +val find : 'a t -> string -> 'a t option +val find_or_fail : 'a t -> string -> 'a t + val insert : 'a t -> string list -> 'a -> 'a t val delete : 'a t -> string list -> 'a t |