Add Util.Option.bind2
#502
Job | Run time |
---|---|
3h 21m 11s | |
1m 10s | |
16s | |
1s | |
3h 22m 38s |
Util.Option.bind2
#502
Job | Run time |
---|---|
3h 21m 11s | |
1m 10s | |
16s | |
1s | |
3h 22m 38s |