traversal: implement monotonically decrementing budgets.#260

Merged

warpfork merged 3 commits intomasterfrom traversal-budgets

Sep 29, 2021

+142-1

Commits on Sep 29, 2021

traversal: implement monotonically decrementing budgets.
warpfork
committed
traversal: budget tests, well-typed errors, more error info, and fix off-by-one.
warpfork
committed
traversal: tweak phrasing of error message

warpfork
and
ribasushi
committed