type.stdtype ≡

template <auto N>
using index_t = uint<(N > 1) ? clog2(N) : 1> §

Type of index for a collection of N elements

template <typename T>
using bitindex_t = index_t<bitsizeof(T)> §

template <auto N>
using count_t = uint<clog2((N + 1))> §

Type to express a count of N elements

template <typename T>
using bitcount_t = count_t<bitsizeof(T)> §