#include <iterator_facade.h>

Concept definition

template<typename T>
concept tatooine::implements_advance =  requires(T it) {
  it.advance(infer_difference_type<T>{});
}