cpp/experimental/ranges/iterator/OutputIterator

The concept is a refinement of, adding the requirement that it can be used to write values of values of type and value category encoded by  (via ). is not required.

Let be an expression such that  is, and  be a dereferenceable object of type. is satisfied only if has effects equivalent to.