Don't remove parentheses in (expr :: assertion) < expr (#941)
#320
| Job | Run time |
|---|---|
| 1m 46s | |
| 1m 46s |
(expr :: assertion) < expr (#941)
#320
| Job | Run time |
|---|---|
| 1m 46s | |
| 1m 46s |