Skip to content

require a total ordering for Eq and Ord#12435

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

require a total ordering for `Eq` and `Ord`#12435
thestinger wants to merge 1 commit intorust-lang:masterfrom
thestinger:cmp

Commits

Commits on Feb 23, 2014