summaryrefslogtreecommitdiff
path: root/src/derived.mli
AgeCommit message (Expand)Author
2026-08-25T9231: add util subtree_values_of_pathJohn Estabrook
2026-08-25T9231: add option descent in subtree_from_partialJohn Estabrook
2026-08-05T9169: move util subtree_from_partial to derivedJohn Estabrook