law uor0

lawful-bytes@0.1.1.0 · proof_fast_w2.bend:90

import Base

90law uor0:
91  for +a: U32
92  for +b: U32
93  {U32.is_zero(U32.or(a, b)) == Bool.and(U32.is_zero(a), U32.is_zero(b)) : Bool}