def max_u32
import cswap-bend-cli@0.1.0.0/store/seq.bend as Seqimport Base
94def max_u32(+a: U32, +b: U32) -> U32:
95 sel.u(U32.is_gt(a, b), a, b)
import cswap-bend-cli@0.1.0.0/store/seq.bend as Seqimport Base
94def max_u32(+a: U32, +b: U32) -> U32:
95 sel.u(U32.is_gt(a, b), a, b)