Base · base.bend:1376
import Base
1376def Word.sub(n: Nat, a: Word(n), b: Word(n)) -> Word(n): 1377 Word.adc(n, a, b, True{}, True{})