perf: inline get_loose_bvar_range field accessor#13387
Draft
Kha wants to merge 10 commits intoleanprover:masterfrom
Draft
perf: inline get_loose_bvar_range field accessor#13387Kha wants to merge 10 commits intoleanprover:masterfrom
get_loose_bvar_range field accessor#13387Kha wants to merge 10 commits intoleanprover:masterfrom
Commits
Commits on Apr 12, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
