feat: let unfold do zeta-delta reduction of local definitions (#4834)
#21139
| Job | Run time |
|---|---|
| 3s | |
| 11m 42s | |
| 11m 47s | |
| 11m 53s | |
| 1s | |
| 1s | |
| 1s | |
| 35m 28s |
unfold do zeta-delta reduction of local definitions (#4834)
#21139
| Job | Run time |
|---|---|
| 3s | |
| 11m 42s | |
| 11m 47s | |
| 11m 53s | |
| 1s | |
| 1s | |
| 1s | |
| 35m 28s |