def Word.mul.go

Base · base.bend:1445

1445def Word.mul.go(+n: Nat, m: Nat, a: Word(m), +b: Word(n), acc: Word(n)) ->
1446  Word(n):
1447  match m:
1448    case 0n:
1449      acc
1450    case 1n+mp:
1451      match a:
1452        case WCon{False{}, at}:
1453          Word.mul.go(n, mp, at, Word.shl(n, b), acc)
1454        case WCon{True{}, at}:
1455          Word.mul.go(n, mp, at, Word.shl(n, b), Word.add(n, acc, b))