law u32_xor_cancel

bend-osdev-cipher-core@0.1.0.0 · LAWS.bend:39

import Base

39law u32_xor_cancel:
40  for a: U32
41  for b: U32
42  {a == U32.xor(U32.xor(a, b), b) : U32}