13.2.7  char_vector

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.


Comments and suggestions to: