diff options
| author | John Estabrook <jestabro@vyos.io> | 2026-02-03 19:40:05 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2026-02-06 14:42:47 -0600 |
| commit | 97d2ca7fce11621fa4dd9e4bac0a219c34e397be (patch) | |
| tree | 6a79ec981f40e5706da25e0ea68d95a95b0d7dec /src/reference_tree.ml | |
| parent | b4f79c7428c26815da0c4bb192f29b5b2b5a34b4 (diff) | |
| download | vyos1x-config-97d2ca7fce11621fa4dd9e4bac0a219c34e397be.tar.gz vyos1x-config-97d2ca7fce11621fa4dd9e4bac0a219c34e397be.zip | |
T8232: add extended fold over tree function to track level
The function fold_tree_with_path_cont allows the called function to
return a list of values, reset at each return to local root. The
motivating example is to carry a stack of boolean values to ignore paths
below a certain level.
Diffstat (limited to 'src/reference_tree.ml')
0 files changed, 0 insertions, 0 deletions