From ccab6d041c7ca307486bb344dd2a4e669e9bb9fe Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Thu, 23 Apr 2015 05:29:31 +0600 Subject: 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. --- src/vytree.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/vytree.mli') 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 -- cgit v1.2.3