cpp/ranges/contiguous range

The concept is a refinement of  for which ranges returns a model of  and the customization point  is usable.

Semantic requirements
models only if given an expression  such that  is,.