Commit 2025-08-04 12:20 a4491fa5
View on Github →feat: erw? supports all arguments that erw does (#27751)
This PR teaches erw? how to deal with multiple arguments and how to rewrite at a hypothesis, so that it can be used everywhere that erw can. (And ideally erw can then be removed from those places.)
In addition to the new tests, I picked a few places in the library to run as test cases with more complicated terms (but extract_goals didn't really work there...)