def count_add
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
262def count_add(p: Array<Wd> & U32, +acc: Nat) -> Array<Wd> & Nat:
263 (a, +w) = p
264 (a, count_word(w, acc, U32.is_eq(w, 0)))
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
262def count_add(p: Array<Wd> & U32, +acc: Nat) -> Array<Wd> & Nat:
263 (a, +w) = p
264 (a, count_word(w, acc, U32.is_eq(w, 0)))