def u.flip

bend-osdev-u32@0.1.0.0 · PROOF_order.bend:297

import Base

297def u.flip(a: U32, b: U32) -> {U32.cmp(b, a) == cm.flip(U32.cmp(a, b)) : Cmp}:
298  match a b:
299    case U32{+x} U32{+y}:
300      wd.flip(32n, x, y)