def min_u32

cswap-bend-cli@0.1.0.0 · swpick.bend:238

import Base
import cswap-bend-cli@0.1.0.0/store/seq.bend as SSeq

238def min_u32(+a: U32, +b: U32) -> U32:
239  SSeq.sel.u(U32.is_lt(a, b), a, b)