def count_add

bend-collections@1.0.0.0 · src/containers/bitlist.bend:194

import Base
import bend-collections@1.0.0.0/src/containers/bitset.bend as B
import bend-collections@1.0.0.0/src/containers/dynamic_array.bend as D
import bend-collections@1.0.0.0/src/containers/types/dynamic_array.bend as DE

194def count_add(g: D.DynArray<&2, U32> & Result<&2, &2, DE.Error, U32>, +acc: Nat) -> D.DynArray<&2, U32> & Nat:
195  match g:
196    case Tuple{w, Done{+x}}:
197      (w, B.count_word(x, acc, U32.is_eq(x, 0)))
198    case Tuple{w, Fail{e}}:
199      (w, acc)