Concept definition

template<typename T>
concept tatooine::meets_random_access = 
    implements_advance<T> && implements_distance_to<T>

Detailed Description

We can meet "random access" if it provides both .advance() and .distance_to()