From eeecee4bdafff78abe9cf7da0f5900a7cfe211fa Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Tue, 25 Aug 2026 14:06:21 -0500 Subject: T9231: add util subtree_values_of_path Get tag/leaf values of subtree defined by a partial path, for example, a reference path. --- src/derived.mli | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/derived.mli') diff --git a/src/derived.mli b/src/derived.mli index 61e4d8f..9ae2d26 100644 --- a/src/derived.mli +++ b/src/derived.mli @@ -2,3 +2,9 @@ exception Malformed_path of string 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"] -- cgit v1.2.3