law is_zero_xor

lawful-words@0.1.0.0 · LAWS.bend:86

import Base

86# Two words are equal exactly when their xor is zero.
87law is_zero_xor:
88  for a: U32
89  for b: U32
90  {U32.is_zero(U32.xor(a, b)) == U32.is_eq(a, b) : Bool}