Decision #940 — lib.rs:97
Status: no_witness
Truth table
| row | c0 br 6154 | c1 br 6155 | outcome |
|---|---|---|---|
| 33279 | T | T | T |
| 33280 | T | T | T |
| 54133 | T | T | T |
| 54134 | T | T | T |
| 73453 | T | T | T |
| 73454 | T | T | T |
| 83336 | T | T | T |
| 83337 | T | T | T |
| 125548 | T | T | T |
| 125549 | T | T | T |
| 142267 | T | T | T |
| 142268 | T | T | T |
| 237971 | T | T | T |
| 237972 | T | T | T |
| 315348 | T | T | T |
| 315349 | T | T | T |
Independent-effect pairs
c0(branch6154): GAP view gap →<scry_poly::Poly>::leq· br_if
inlined: lib.rs:245c1(branch6155): GAP view gap →<scry_poly::Poly>::leq· br_if