Decision #56 — library/core/src/cmp.rs:1077

Status: no_witness

Truth table

rowc0 br 415c1 br 427outcome
9477FTT
10625FTT
11716FTT
40284FFT
43252FFT
46705FFT
49824FFT
72377FTT
72378FTT
75852FTT
75853FTT
80705FTT
81892FTT
82954FTT
129945FFT
131104FFT
132431FFT

Independent-effect pairs