diff options
Diffstat (limited to 'src/reference_tree.mli')
| -rw-r--r-- | src/reference_tree.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/reference_tree.mli b/src/reference_tree.mli index dd8230d..5bb74bc 100644 --- a/src/reference_tree.mli +++ b/src/reference_tree.mli @@ -107,6 +107,10 @@ val get_completion_data : t -> string list -> (node_type * bool * string) list [@@alert exn "Vytree.Empty_path"] [@@alert exn "Vytree.Nonexistent_path"] +val get_default_value : t -> string list -> string option +[@@alert exn "Vytree.Empty_path"] +[@@alert exn "Vytree.Nonexistent_path"] + val refpath : t -> string list -> string list val set_tag_data : t -> Config_tree.t -> string list -> Config_tree.t |