From f6e50f41de5dde75a27426d3d164a8f69f62d34d Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Fri, 10 Apr 2026 22:02:50 -0500 Subject: T8488: add utility subtree_from_partial Return the subtree of a configtree indicated by a path that may only be partly defined, lacking some or all intervening tag node value. --- src/config_diff.mli | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/config_diff.mli') diff --git a/src/config_diff.mli b/src/config_diff.mli index 483e7df..168b748 100644 --- a/src/config_diff.mli +++ b/src/config_diff.mli @@ -70,3 +70,7 @@ val mask_tree : ?exclusive:bool -> Config_tree.t -> Config_tree.t -> Config_tree [@@alert exn "Config_diff.Empty_comparison"] val get_tagged_delete_tree : Config_tree.t -> Config_tree.t + +exception Malformed_path of string +val subtree_from_partial : Reference_tree.t -> Config_tree.t -> Config_tree.t -> string list -> Config_tree.t +[@@alert exn "Config_diff.Malformed_path"] -- cgit v1.2.3