law Word.add_comm.go

Base · base.bend:1388

1388law Word.add_comm.go:
1389  for n: Nat
1390  for a: Word(n)
1391  for b: Word(n)
1392  for c: Bool
1393  {Word.adc(n, a, b, False{}, c) == Word.adc(n, b, a, False{}, c) : Word(n)}