The standard library char_vector package implements vectors specialized to hold Char values. Using this specialized typelocked vector implementation can yield a space savings of up to a factor of four on 32-bit implementations.
The char_vector package implements the Typelocked_Vector api.
The char_vector package source code is in src/lib/std/src/vector-of-chars.pkg.
See also: vector_slice_of_chars.
The above information is manually maintained and may contain errors.