def min.u32
import gralha-text-scan@0.1.0.1/scan.bend as Scanimport Base
13def min.u32(+a: U32, +b: U32) -> U32:
14 choose(U32, U32.is_lt(a, b), a, b)
import gralha-text-scan@0.1.0.1/scan.bend as Scanimport Base
13def min.u32(+a: U32, +b: U32) -> U32:
14 choose(U32, U32.is_lt(a, b), a, b)