The standard library expanding_rw_vector package implements vectors which spontaneously expand as needed to contain requested slots.
The expanding_rw_vector package implements the Expanding_Rw_Vector api.
The expanding_rw_vector api source code is in src/lib/src/expanding-rw-vector.pkg.
See also: expanding_rw_vector_g in src/lib/src/expanding-rw-vector-g.pkg.
See also: dynamic_rw_vector in src/lib/src/dynamic-rw-vector.pkg.The above information is manually maintained and may contain errors.
Expanding_Rw_Vector