def with_limit

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

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

39def with_limit(+n: Nat) -> Bitlist:
40  BL{Some{n}, 0n, D.new(U32)}