def wb.maxlt
import bend-osdev-word64@0.1.1.0/PROOF_bits.bend as PROOFBitsimport Base
144def wb.maxlt(+x: U32) -> {U32.is_lt(4294967295, x) == False{} : Bool}:
145 match x:
146 case U32{+w}:
147 wb.mlt(32n, w)
import bend-osdev-word64@0.1.1.0/PROOF_bits.bend as PROOFBitsimport Base
144def wb.maxlt(+x: U32) -> {U32.is_lt(4294967295, x) == False{} : Bool}:
145 match x:
146 case U32{+w}:
147 wb.mlt(32n, w)