Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Instead of manually defining it, `partial_cmp` can simply wrap the result of `cmp` for totally ordered types.
- Loading branch information