def fixm
import bend-osdev-gf@0.1.1.0/PROOF.bend as PROOFimport Base
7556# a nonzero element as itself, and 0 as 1
7557def fixm(+x: U32) -> U32:
7558 Bool.pick(U32, U32.is_eq(x, 0), 1, x)
import bend-osdev-gf@0.1.1.0/PROOF.bend as PROOFimport Base
7556# a nonzero element as itself, and 0 as 1
7557def fixm(+x: U32) -> U32:
7558 Bool.pick(U32, U32.is_eq(x, 0), 1, x)