law bit_xor

lawful-words@0.1.0.0 · LAWS.bend:300

import Base
import lawful-words@0.1.0.0/defs.bend as D

300law bit_xor:
301  for a: U32
302  for b: U32
303  for k: Nat
304  {D.bit(U32.xor(a, b), k) == Bool.xor(D.bit(a, k), D.bit(b, k)) : Bool}