law uand_assoc

lawful-bytes@0.1.1.0 · proof_fast_w1.bend:39

import Base

39law uand_assoc:
40  for +a: U32
41  for +b: U32
42  for +c: U32
43  {U32.and(a, U32.and(b, c)) == U32.and(U32.and(a, b), c) : U32}