cpp/iterator/input or output iterator

The concept forms the basis of the iterator concept taxonomy; every iterator type satisfies the  requirements.

The exposition-only concept is satisfied if and only if the type is referenceable (in particular, not ).