def U32.add

Base · base.bend:1468

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

Uses (2)

Used by (3677)