num::to_idx

Defined in header <core/types.hpp>

template <class T>
constexpr idx to_idx(T x) noexcept;

Cast any integer to idx without a verbose static_cast.