non/antimirov

provide a total ordering for Rx

Closed this issue · 0 comments

johnynek commented

Some use cases, e.g. putting in a SortedSet, need a total ordering for Rx.