<concepts>
template < class T > concept unsigned_integral = std::integral<T> && !std::signed_integral<T>;
unsigned_integral<T> , T , std::is_signed_v<T> false.
unsigned_integral<T>
T
std::is_signed_v<T>
false
unsigned_integral<T> , , , bool.
bool