Decision #15 — library/core/src/iter/sources/from_fn.rs:70

Status: no_witness

Truth table

rowc0 br 93c1 br 107outcome
28171FFT
28172FFT
28173FFT
28174FFT
34109FFT
34110FFT
34111FFT
34112FFT
92144FTT
92145FFT
92146FTT
92147FFT
92148FTT
92149FFT
92150FTT
92151FFT
92152FTT
92153FFT
92154FTT
92155FFT
111007FTT
111008FFT
111009FTT
111010FFT
111011FTT
111012FFT
111013FTT
111014FFT
111015FTT
111016FFT
111017FTT
111018FFT

Independent-effect pairs