diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-23 05:29:31 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-23 05:29:31 +0600 |
| commit | ccab6d041c7ca307486bb344dd2a4e669e9bb9fe (patch) | |
| tree | 2c2409dec310ef02af2847badc891d1acc1a30bb /src/vytree.mli | |
| parent | 3b2b0d009ba7962da8b12c62f119fa4b1178e858 (diff) | |
| download | vyconf-ccab6d041c7ca307486bb344dd2a4e669e9bb9fe.tar.gz vyconf-ccab6d041c7ca307486bb344dd2a4e669e9bb9fe.zip | |
Make insert require all but the last elements in the path to exist in the tree.
Making it linear time at cost of knowing the data for all path elements
was probably a bad idea.
Diffstat (limited to 'src/vytree.mli')
| -rw-r--r-- | src/vytree.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vytree.mli b/src/vytree.mli index cebbcde..8224fdd 100644 --- a/src/vytree.mli +++ b/src/vytree.mli @@ -16,7 +16,7 @@ val name_of_node : 'a t -> string val data_of_node : 'a t -> 'a val children_of_node : 'a t -> 'a t list -val insert : 'a t -> string list -> 'a list -> 'a t +val insert : 'a t -> string list -> 'a -> 'a t val delete : 'a t -> string list -> 'a t |