diff options
author | Daniil Baturin <daniil@baturin.org> | 2017-01-05 00:51:11 +0700 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2017-01-05 00:51:11 +0700 |
commit | 058a1e2e10563b439d8fe42d26c46a918eb4d7f2 (patch) | |
tree | 9e7a9a1bc89d712200353c2d84c337833b29c3d7 | |
parent | eb3c1a690d716e9e2a47afafe6c358d69d7eacd2 (diff) | |
download | vyconf-058a1e2e10563b439d8fe42d26c46a918eb4d7f2.tar.gz vyconf-058a1e2e10563b439d8fe42d26c46a918eb4d7f2.zip |
Expose the Vytree.adopt function in the module interface.
This is useful in the parser and possibly other code that creates
nodes from scratch.
-rw-r--r-- | src/vytree.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vytree.mli b/src/vytree.mli index 83a6096..6de65c5 100644 --- a/src/vytree.mli +++ b/src/vytree.mli @@ -17,6 +17,8 @@ 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 adopt : 'a t -> 'a t -> 'a t + val insert : ?position:position -> 'a t -> string list -> 'a -> 'a t val insert_multi_level : 'a -> 'a t -> string list -> string list -> 'a -> 'a t |