13.4.175  vector_of_eight_byte_floats

The standard library float64_vector package implements vectors specialized to hold Float64 values. Using this specialized typelocked vector implementation can yield a space savings of a factor of two or more.

The float64_vector package implements the Typelocked_Vector API.

The float64_vector package source code is in src/lib/std/src/vector-of-eight-byte-floats.pkg.

See also: vector_slice_of_eight_byte_floats.

The above information is manually maintained and may contain errors.


Comments and suggestions to: