add PartialOrd
, Ord
to some types
#704
Job | Run time |
---|---|
2m 6s | |
1m 38s | |
3m 44s |
PartialOrd
, Ord
to some types
#704
Job | Run time |
---|---|
2m 6s | |
1m 38s | |
3m 44s |