def U32.add
import Base1468def U32.add(a: U32, b: U32) -> U32:
1469 match a b:
1470 case U32{x} U32{y}:
1471 U32{Word.add(32n, x, y)}
import Base1468def U32.add(a: U32, b: U32) -> U32:
1469 match a b:
1470 case U32{x} U32{y}:
1471 U32{Word.add(32n, x, y)}