Implement [Partial]Ord
for Range
#127
Job | Run time |
---|---|
11s | |
55s | |
9s | |
17s | |
1m 32s |
[Partial]Ord
for Range
#127
Job | Run time |
---|---|
11s | |
55s | |
9s | |
17s | |
1m 32s |