summaryrefslogtreecommitdiff
path: root/src/util_reference_tree.mli
AgeCommit message (Collapse)Author
2026-08-25T9231: add util_reference_treeJohn Estabrook
Add utilities for collecting paths of the reference_tree satisfying a condition, with optional inclusion of extra data. Expose util for returning owner of path.