law suffix3

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/keccak/api.bend:146

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/keccak.bend as K

146law suffix3:
147  for +w: U32
148  {K.partial(w,3n) == U32.or(U32.and(w,16777215),16777216) : U32}