template <class T>
concept bool UnsignedIntegral = Integral<T> && !SignedIntegral<T>;
[ Note: UnsignedIntegral<T> may be satisfied even for types that are not unsigned integral types ( ISO/IEC 14882:2014 §[basic.fundamental]); for example, char. — end note ]