From 56708c95bb3d0ac089b0635b6110da1d4cf4e586 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Mon, 2 Mar 2015 06:31:15 +0600 Subject: Remove "child" from insert/delete etc. function names. It's not like there's anything else we can insert or delete. --- src/vytree.mli | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'src/vytree.mli') diff --git a/src/vytree.mli b/src/vytree.mli index 5fe4d37..9b91c80 100644 --- a/src/vytree.mli +++ b/src/vytree.mli @@ -11,11 +11,10 @@ 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_child : - 'a -> 'a t -> string list -> 'a -> 'a t +val insert : 'a -> 'a t -> string list -> 'a -> 'a t -val delete_child : 'a t -> string list -> 'a t +val delete : 'a t -> string list -> 'a t val list_children : 'a t -> string list -val get_child : 'a t -> string list -> 'a t +val get : 'a t -> string list -> 'a t -- cgit v1.2.3