[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_]