cpp/concepts/unsigned integral

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