#include <concepts.h>

Concept definition

template<typename T>
concept tatooine::integral_pair =  is_pair<T> && integral<typename T::first_type> &&
                        integral<typename T::second_type>