law block_xor_xor

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

import Base
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M

197law block_xor_xor:
198  for +a: M.CmBlock
199  for +b: M.CmBlock
200  {M.CmBlock.xor(M.CmBlock.xor(a, b), b) == a : M.CmBlock}