def F32.max
import Base1839def F32.max(a: F32, b: F32) -> F32:
1840 match a b:
1841 case F32{+x} F32{+y}:
1842 Bool.pick(F32, F32.is_lt(F32{x}, F32{y}), F32{y}, F32{x})
import Base1839def F32.max(a: F32, b: F32) -> F32:
1840 match a b:
1841 case F32{+x} F32{+y}:
1842 Bool.pick(F32, F32.is_lt(F32{x}, F32{y}), F32{y}, F32{x})