law wbit_or

lawful-words@0.1.0.0 · proof_word.bend:855

import Base

855law wbit_or:
856  for +n: Nat
857  for +a: Word(n)
858  for +b: Word(n)
859  for +k: Nat
860  {wbit(n, Word.or(n, a, b), k) == Bool.or(wbit(n, a, k), wbit(n, b, k)) : Bool}