feat: grind proof parameters whose type is not a forall (#11326)
#6415
| Job | Run time |
|---|---|
| 23s | |
| 23s |
grind proof parameters whose type is not a forall (#11326)
#6415
| Job | Run time |
|---|---|
| 23s | |
| 23s |