diff options
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 |