law word_xor_xor

bend-osdev-mode-core@0.1.0.0 · LAWS.bend:186

import Base

186law word_xor_xor:
187  for n: Nat
188  for a: Word(n)
189  for b: Word(n)
190  {Word.xor(n, Word.xor(n, a, b), b) == a : Word(n)}