def U32.max
import Base1652def U32.max(a: U32, b: U32) -> U32:
1653 match a b:
1654 case U32{+x} U32{+y}:
1655 Bool.pick(U32, U32.is_lt(U32{x}, U32{y}), U32{y}, U32{x})
import Base1652def U32.max(a: U32, b: U32) -> U32:
1653 match a b:
1654 case U32{+x} U32{+y}:
1655 Bool.pick(U32, U32.is_lt(U32{x}, U32{y}), U32{y}, U32{x})