std::UnsignedIntegral
From cppreference.com
Defined in header <concepts>


template < class T > concept UnsignedIntegral = std::Integral<T> && !std::SignedIntegral<T>; 
(since C++20)  
The concept UnsignedIntegral<T>
is satisfied if and only if T
is an integral type and std::is_signed_v<T> is false.
Notes
UnsignedIntegral<T>
may be satisfied by a type that is not a unsigned integer type, for example, bool.
See also
(C++11) 
checks if a type is an integral type (class template) 
(C++11) 
checks if a type is a signed arithmetic type (class template) 