Commit 2023-07-09 09:20 9a2d40a2
View on Github →fix: make lift_lets
not descend into proofs or let
-less subexpressions (#5772)
This helps keep lift_lets
from unnecessarily doing deep recursion on deep expressions. Whether to descend into proofs is put behind a configuration option.