[iterator.cpp17.general] (original) (raw)
In the following sections,aandbdenote values of typeX or const X,difference_type and reference refer to the types iterator_traits<X>::difference_type anditerator_traits<X>::reference, respectively,ndenotes a value ofdifference_type,u,tmp, andmdenote identifiers,rdenotes a value ofX&,tdenotes a value of value typeT,odenotes a value of some type that is writable to the output iterator.
[Note 1:
For an iterator type X there must be an instantiation of iterator_traits<X> ([iterator.traits]).
— _end note_]