num::copy_to

Defined in header <container/vector.hpp>

template <typename T>
void copy_to(const vec<T> &source, view<T> destination);  // (1)

template <typename T>
void copy_to(const vec<T> &source, std::vector<T> &destination);  // (2)

(1) Copy an owning vector into an equally sized span.

(2) Copy an owning vector into an equally sized std::vector.