def Vec.push.at
import bend-kit-collections@0.1.4.1/vec.bend as Vecimport Base
43def Vec.push.at(~T: Data, +n: U32, +x: T, bc: Array<T> & U32) -> Vec<T>:
44 (buf, +cap) = bc
45 Vec.push.grow(~T, U32.is_eq(n, cap), n, x, buf, cap)
import bend-kit-collections@0.1.4.1/vec.bend as Vecimport Base
43def Vec.push.at(~T: Data, +n: U32, +x: T, bc: Array<T> & U32) -> Vec<T>:
44 (buf, +cap) = bc
45 Vec.push.grow(~T, U32.is_eq(n, cap), n, x, buf, cap)