def push
import bend-collections@1.0.0.0/src/containers/bitlist.bend as Bitlistimport Base
import bend-collections@1.0.0.0/src/containers/types/bitlist.bend as E
147def push(s: Bitlist, +v: Bool) -> Bitlist & Result<&2, &2, E.Error, Unit>:
148 BL{+lim, +n, w} = s
149 push_if(below(lim, n), lim, n, w, v)