def U32.mul

Base · base.bend:1489

1489def U32.mul(a: U32, b: U32) -> U32:
1490  match a b:
1491    case U32{x} U32{y}:
1492      U32{Word.mul(32n, x, y)}