def U32.sub

Base · base.bend:1484

1484def U32.sub(a: U32, b: U32) -> U32:
1485  match a b:
1486    case U32{x} U32{y}:
1487      U32{Word.sub(32n, x, y)}