num::array

Defined in header <core/types.hpp>

template <class T, class Alloc = std::allocator<T>>
using array = std::vector<T, Alloc>;

A growable array. Storage, not an element of a vector space.