Clarify upfront that PartialOrd is for strict partial orders#140779
Open
Muon wants to merge 2 commits intorust-lang:masterfrom
Open
Clarify upfront that `PartialOrd` is for strict partial orders#140779Muon wants to merge 2 commits intorust-lang:masterfrom
Muon wants to merge 2 commits intorust-lang:masterfrom
