24 Ranges library [ranges]

24.7 Range adaptors [range.adaptors]

24.7.9 Counted view [range.counted]

A counted view presents a View of the elements of the counted range ([iterator.requirements.general]) [i, n) for some iterator i and non-negative integer n.
The name view::counted denotes a customization point object.
Let E and F be expressions, and let T be decay_­t<decltype((E))>.
Then the expression view::counted(E, F) is expression-equivalent to: