~/jendhub

def to_list_fin

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

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

249def to_list_fin(+lim: Maybe<&2, Nat>, +n: Nat, p: D.DynArray<&2, U32> & List<&2, Bool>) -> Bitlist & List<&2, Bool>:
250  (w, xs) = p
251  (BL{lim, n, w}, xs)

Uses (9)

Used by (1)