law word_and_comm

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

import Base

525law word_and_comm:
526  for +n: Nat
527  for +a: Word(n)
528  for +b: Word(n)
529  {Word.and(n, a, b) == Word.and(n, b, a) : Word(n)}