cpp/experimental/ranges/concepts/Integral

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

There need not be any subsumption relationship between and.