num::idx

Defined in header <core/types.hpp>

using idx = std::size_t;

Index type, identical to the one in container/types.hpp, so this file stays self-contained.