document PartialEq, PartialOrd, Ord requirements more explicitly#85637

Merged

bors merged 3 commits intorust-lang:masterfrom RalfJung:partial-ord

Jun 21, 2021

+64-25

Commits on May 24, 2021

document PartialEq, PartialOrd, Ord requirements more explicitly
RalfJung
committed

Commits on May 27, 2021

make Ord doc style consistent with the other two; explain which properties are ensured by default impls
RalfJung
committed

Commits on Jun 15, 2021

wording

RalfJung
and
yaahc
authored