def min_u

import cswap-bend-cli@0.1.0.0/daemon/cadence.bend as Cadence

import Base

51def min_u(+a: U32, +b: U32) -> U32:
52  sel(U32.is_lt(a, b), a, b)

Uses (3)