def ult
import bend-osdev-u32@0.1.0.0/PROOF_order.bend as PROOFOrderimport Base
280def ult(+a: U32, +b: U32) -> Bool:
281 Cmp.is_lt(U32.cmp(a, b))
import bend-osdev-u32@0.1.0.0/PROOF_order.bend as PROOFOrderimport Base
280def ult(+a: U32, +b: U32) -> Bool:
281 Cmp.is_lt(U32.cmp(a, b))