require a total ordering for `Eq` and `Ord`#12435

Closed

thestinger wants to merge 1 commit intorust-lang:masterfrom thestinger:cmp

+348-891

Commits on Feb 23, 2014

require a total ordering for Eq and Ord
thestinger
committed