Decision #695 — library/core/src/result.rs:2173

Status: no_witness

Truth table

rowc0 br 4987c1 br 4988outcome
1369FFT
1370FFT
4409FFT
4410FFT
7358FFT
7359FFT
9912FFT
11060FFT
12151FFT
18296FFT
26014FFT
31740FFT
37678FFT
41312FFT
41313FFT
44325FFT
44326FFT
47777FFT
47778FFT
50852FFT
50853FFT
59755FFT
69527FFT
73794FFT
77269FFT
79733*FT
81137FFT
82324FFT
83386FFT
84672FFT
86550FFT
88003FFT
89875FFT
91406FFT
107423FFT
126286FFT
130315FFT
131490FFT
132817FFT

Independent-effect pairs