def Word.adc.con

Base · base.bend:1357

1357def Word.adc.con(p: Nat, at: Word(p), bt: Word(p), f: Bool, sk: Bool & Bool) ->
1358  Word(1n+p):
1359  (s, k) = sk
1360  WCon{s, Word.adc(p, at, bt, f, k)}