document PartialEq, PartialOrd, Ord requirements more explicitly#85637

Merged

bors merged 3 commits intorust-lang:masterfrom

RalfJung:partial-ord

Jun 21, 2021

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