diff options
Diffstat (limited to 'src/derived.mli')
| -rw-r--r-- | src/derived.mli | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/derived.mli b/src/derived.mli index 39f255a..9ae2d26 100644 --- a/src/derived.mli +++ b/src/derived.mli @@ -1,4 +1,10 @@ exception Malformed_path of string -val subtree_from_partial : Reference_tree.t -> Config_tree.t -> Config_tree.t -> string list -> Config_tree.t +val subtree_from_partial : ?descent:bool -> Reference_tree.t -> Config_tree.t -> Config_tree.t -> string list -> Config_tree.t +[@@alert exn "Derived.Malformed_path"] + +val subtree_values_of_path : Reference_tree.t -> Config_tree.t -> string list -> (string list * string list) list +[@@alert exn "Derived.Malformed_path"] + +val subtree_values_of_path_yojson : Reference_tree.t -> Config_tree.t -> string list -> string [@@alert exn "Derived.Malformed_path"] |