From 28b6ac04aaef995656eaabb2c9a279a79e657687 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Tue, 9 Dec 2025 15:30:10 -0600 Subject: T8061: add get_path_type request Get the potential node type of a path, preliminary to any validation of values. --- src/session.mli | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/session.mli') diff --git a/src/session.mli b/src/session.mli index 20e0c52..5209878 100644 --- a/src/session.mli +++ b/src/session.mli @@ -96,3 +96,5 @@ val cleanup_config : world -> string -> unit val show_config : world -> session_data -> string list -> string val reference_path_exists : world -> session_data -> string list -> bool + +val get_path_type : ?legacy_format:bool -> world -> session_data -> string list -> string -- cgit v1.2.3