mozilla/rust — pull request #13358 by tbu- (2014-04-06 12:17:12+00:00)
Title: Add requirements of TotalEq and TotalOrd

Add requirements of TotalEq and TotalOrd

Clarify that TotalEq needs an underlying equivalence relation and that TotalOrd
needs a total ordering and specifically named the required (and sufficient)
attributes.