def push_room
bend-collections@1.0.0.0 · src/containers/bitlist.bend:136
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
import bend-collections@1.0.0.0/src/containers/types/bitlist.bend as E
136def push_room(+lim: Maybe<&2, Nat>, +n: Nat, +v: Bool, r: D.DynArray<&2, U32> & Nat) -> Bitlist & Result<&2, &2, E.Error, Unit>:
137 (w, +k) = r
138 push_where(Nat.is_lt(n, Nat.mul(k, 32n)), lim, n, w, v)