def to_list
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
257def to_list(s: Bitlist) -> Bitlist & List<&2, Bool>:
258 BL{+lim, +n, w} = s
259 to_list_len(lim, n, D.length(U32, w))