Decision #389 — library/core/src/cmp.rs:1038

Status: unreached

Truth table

rowc0 br 2693c1 br 2695outcome

Independent-effect pairs