Replace List.fold_left (||) false (List.map f lst) with List.exists f lst
#8348
| Job | Run time |
|---|---|
| 3m 23s | |
| 3m 23s |
List.fold_left (||) false (List.map f lst) with List.exists f lst
#8348
| Job | Run time |
|---|---|
| 3m 23s | |
| 3m 23s |