perf: de-virtualize replace_rec_fn dispatch via templated functor#13380
Draft
Kha wants to merge 7 commits intoleanprover:masterfrom
Draft
perf: de-virtualize replace_rec_fn dispatch via templated functor#13380Kha wants to merge 7 commits intoleanprover:masterfrom
replace_rec_fn dispatch via templated functor#13380Kha wants to merge 7 commits intoleanprover:masterfrom
Commits
Commits on Apr 12, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
