~/jendhub

def to_list_len

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

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

253def to_list_len(+lim: Maybe<&2, Nat>, +n: Nat, r: D.DynArray<&2, U32> & Nat) -> Bitlist & List<&2, Bool>:
254  (w, +k) = r
255  to_list_fin(lim, n, bits_go(k, (w, Nil{}), n))

Uses (11)

Used by (1)