Skip to content

Add requirements of TotalEq and TotalOrd#13358

Merged
bors merged 2 commits intorust-lang:masterfrom
tbu-:pr_doc_equivrel
Apr 7, 2014
Merged

Add requirements of TotalEq and TotalOrd#13358
bors merged 2 commits intorust-lang:masterfrom
tbu-:pr_doc_equivrel

Commits

Commits on Apr 6, 2014