#include <iterator_facade.h>

Concept definition

template<typename Iter>
concept tatooine::implements_basic_iterator_facade = 
    implements_increment<Iter> && implements_dereference<Iter>