~/jendhub

def count_len

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

import bend-collections@1.0.0.0/src/containers/bitlist.bend as Bitlist
import Base
import bend-collections@1.0.0.0/src/containers/dynamic_array.bend as D

213def count_len(+lim: Maybe<&2, Nat>, +n: Nat, r: D.DynArray<&2, U32> & Nat) -> Bitlist & Nat:
214  (w, +k) = r
215  count_fin(lim, n, count_go(k, (w, 0n), 0n))

Uses (9)

Used by (1)