Preserve Array.modify
and Array.modifyOption
non emptiness
#5561
Job | Run time |
---|---|
1m 8s | |
26s | |
2m 25s | |
1m 47s | |
2m 17s | |
1m 59s | |
10m 2s |
Array.modify
and Array.modifyOption
non emptiness
#5561
Job | Run time |
---|---|
1m 8s | |
26s | |
2m 25s | |
1m 47s | |
2m 17s | |
1m 59s | |
10m 2s |