def Word.add

Base · base.bend:1373

1373def Word.add(n: Nat, a: Word(n), b: Word(n)) -> Word(n):
1374  Word.adc(n, a, b, False{}, False{})