Commit 65a5d0c

authored

feat: improve Ord proof api (#8378)

This PR improves and extends the api around `Ord` and `Ordering`. These changes are split off from #8210.

1 parent fc3c82b commit 65a5d0cCopy full SHA for 65a5d0c

7 files changed

+317

-364

lines changed

+317

-364

lines changed

Comments

(0)