def max_u

cswap-bend-cli@0.1.0.0 · poll.bend:79

import Base
import cswap-bend-cli@0.1.0.0/clock.bend as Clock

79def max_u(+a: U32, +b: U32) -> U32:
80  Clock.sel(U32.is_gt(a, b), a, b)