diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-03-02 06:31:15 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-03-02 06:31:15 +0600 |
| commit | 56708c95bb3d0ac089b0635b6110da1d4cf4e586 (patch) | |
| tree | b13cf50bd70aaee41acbb91059c888e8b3280434 /src/vytree.mli | |
| parent | 16e35790560758d4e6e999a6b7a287c1ef40af02 (diff) | |
| download | vyconf-56708c95bb3d0ac089b0635b6110da1d4cf4e586.tar.gz vyconf-56708c95bb3d0ac089b0635b6110da1d4cf4e586.zip | |
Remove "child" from insert/delete etc. function names.
It's not like there's anything else we can insert or delete.
Diffstat (limited to 'src/vytree.mli')
| -rw-r--r-- | src/vytree.mli | 7 |
1 files changed, 3 insertions, 4 deletions
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 |