law word_xor_comm

bend-osdev-u32@0.1.0.0 · LAWS.bend:537

import Base

537law word_xor_comm:
538  for +n: Nat
539  for +a: Word(n)
540  for +b: Word(n)
541  {Word.xor(n, a, b) == Word.xor(n, b, a) : Word(n)}