cpp/iterator/incrementable

This concept specifies requirements on types that can be incremented with the pre- and post-increment operators, whose increment operations are equality-preserving, and the type is std.

Unlike with std, which only support single-pass algorithms, multi-pass one-directional algorithms can be used with types that model.

Semantic requirements
models only if given any two incrementable objects  and  of type :
 * implies, and
 * implies