def Word.mul
import Base1457def Word.mul(+n: Nat, a: Word(n), b: Word(n)) -> Word(n):
1458 Word.mul.go(n, n, a, b, Word.zero(n))
import Base1457def Word.mul(+n: Nat, a: Word(n), b: Word(n)) -> Word(n):
1458 Word.mul.go(n, n, a, b, Word.zero(n))