cpp/experimental/ranges/concepts/UnsignedIntegral

The concept is satisfied if and only if  is an integral type and  is.