def u32_eq_refl
import bend-collections-laws-math@1.0.0.0/proofs/lib/u32.bend as U32import Base
301def u32_eq_refl(+x: U32) -> {U32.is_eq(x, x) == True{} : Bool}:
302 match x:
303 case U32{w}:
304 cmp_refl_eq(32n, w)
import bend-collections-laws-math@1.0.0.0/proofs/lib/u32.bend as U32import Base
301def u32_eq_refl(+x: U32) -> {U32.is_eq(x, x) == True{} : Bool}:
302 match x:
303 case U32{w}:
304 cmp_refl_eq(32n, w)