law u32_xor_comm

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

import Base

594law u32_xor_comm:
595  for +a: U32
596  for +b: U32
597  {U32.xor(a, b) == U32.xor(b, a) : U32}