From ff9fb213f99b4730ae6042fa723eedb517a41bd9 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Sun, 16 Nov 2025 17:54:51 -0600 Subject: T8009: add allowed_edit_level to test necessary conditions on path --- src/reference_tree.mli | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/reference_tree.mli') diff --git a/src/reference_tree.mli b/src/reference_tree.mli index 4c8072b..c2805ae 100644 --- a/src/reference_tree.mli +++ b/src/reference_tree.mli @@ -119,6 +119,8 @@ val set_leaf_data : t -> Config_tree.t -> string list -> Config_tree.t [@@alert exn "Vytree.Empty_path"] [@@alert exn "Vytree.Nonexistent_path"] +val allowed_edit_level : t -> string list -> (unit, string) result + val get_ceil_data : (ref_node_data -> string option) -> t -> string list -> string option [@@alert exn "Vytree.Empty_path"] [@@alert exn "Vytree.Nonexistent_path"] -- cgit v1.2.3