#include <di/container/interface/access.h>

Concept definition

template<typename T, typename K>
concept di::container::detail::IteratorAt = 
        concepts::RandomAccessContainer<T> && concepts::ConstructibleFrom<meta::IteratorSSizeType<T>, K>