Decision #77 — library/core/src/option.rs:2278

Status: no_witness

Truth table

rowc0 br 425c1 br 426outcome
60T*T
7020T*T
13758T*T
21191T*T
23934T*T
26577T*T
29416T*T
50271T*T
70967T*T
80850T*T
90705T*T
98479T*T
106973T*T
115049T*T
122889T*T
139608T*T
156297T*T
166155T*T
175945T*T
180747T*T
184067T*T
187174T*T
190508T*T
194742T*T
202842T*T
206087T*T
214459T*T
222036T*T
299413T*T
376704T*T
379341T*T
382225T*T

Independent-effect pairs