law word_or_comm

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

import Base

531law word_or_comm:
532  for +n: Nat
533  for +a: Word(n)
534  for +b: Word(n)
535  {Word.or(n, a, b) == Word.or(n, b, a) : Word(n)}