cpp/experimental/ranges/concepts/SignedIntegral

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

There need not be any subsumption relationship between and.