diff options
| author | John Estabrook <jestabro@vyos.io> | 2026-09-02 07:15:59 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-09-02 07:15:59 -0500 |
| commit | 5b5c5f1277b165045123acae4a2470261fbad566 (patch) | |
| tree | 8c43d13c61b282d889898cc03e55ffc25a82c62e /src/derived.mli | |
| parent | 07636e49b3a04fdc76ac42bd65df88736c3945f1 (diff) | |
| parent | f7b4459ba3c6551f8d054456b0d5013a4b0e3ee1 (diff) | |
| download | vyos1x-config-rolling.tar.gz vyos1x-config-rolling.zip | |
Merge pull request #92 from jestabro/reference-tree-utilsrolling
T9231: Add reference_tree utils to return paths satisfying condition
Diffstat (limited to 'src/derived.mli')
| -rw-r--r-- | src/derived.mli | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/derived.mli b/src/derived.mli index 39f255a..9ae2d26 100644 --- a/src/derived.mli +++ b/src/derived.mli @@ -1,4 +1,10 @@ exception Malformed_path of string -val subtree_from_partial : Reference_tree.t -> Config_tree.t -> Config_tree.t -> string list -> Config_tree.t +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"] |