def U32.min
import Base1647def U32.min(a: U32, b: U32) -> U32:
1648 match a b:
1649 case U32{+x} U32{+y}:
1650 Bool.pick(U32, U32.is_lt(U32{x}, U32{y}), U32{x}, U32{y})
import Base1647def U32.min(a: U32, b: U32) -> U32:
1648 match a b:
1649 case U32{+x} U32{+y}:
1650 Bool.pick(U32, U32.is_lt(U32{x}, U32{y}), U32{x}, U32{y})