arene::base::array is a backport of std::array from C++17 made necessary by the fact that the C++14 version of std::array is not compatible with constexpr.The specification for std::array is available at cppreference.com. It also is a "checked" type, meaning that operators which in std::array would have UB, such as indexing operator[] past the end of the array, are instead converted into ARENE_PRECONDITION violations.

The public header is

#include "arene/base/array.hpp"

The Bazel target is

//:array