law u32_xor_xor

bend-osdev-mode-core@0.1.0.0 · LAWS.bend:192

import Base

192law u32_xor_xor:
193  for a: U32
194  for b: U32
195  {U32.xor(U32.xor(a, b), b) == a : U32}