law bit_and

lawful-words@0.1.0.0 · LAWS.bend:288

import Base
import lawful-words@0.1.0.0/defs.bend as D

288law bit_and:
289  for a: U32
290  for b: U32
291  for k: Nat
292  {D.bit(U32.and(a, b), k) == (D.bit(a, k) && D.bit(b, k)) : Bool}