def count_fin
import bend-collections@1.0.0.0/src/containers/bitlist.bend as Bitlistimport Base
import bend-collections@1.0.0.0/src/containers/dynamic_array.bend as D
209def count_fin(+lim: Maybe<&2, Nat>, +n: Nat, p: D.DynArray<&2, U32> & Nat) -> Bitlist & Nat:
210 (w, c) = p
211 (BL{lim, n, w}, c)