#include <iterator_facade.h>

Concept definition

template<typename Arg, typename Iter>
concept tatooine::difference_type_arg = 
    std::convertible_to<Arg, infer_difference_type<Iter>>