~/jendhub

def count

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

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

217def count(s: Bitlist) -> Bitlist & Nat:
218  BL{+lim, +n, w} = s
219  count_len(lim, n, D.length(U32, w))

Uses (6)

Used by (1)