tmp/tmp3v051guz/{from.md → to.md}
RENAMED
|
@@ -23,11 +23,11 @@ template<class I>
|
|
| 23 |
```
|
| 24 |
|
| 25 |
Let `a` and `b` be valid iterators of type `I` such that `b` is
|
| 26 |
reachable from `a` after `n` applications of `++a`, let `D` be
|
| 27 |
`iter_difference_t<I>`, and let `n` denote a value of type `D`. `I`
|
| 28 |
-
models `random_access_iterator` only if
|
| 29 |
|
| 30 |
- `(a += n)` is equal to `b`.
|
| 31 |
- `addressof(a += n)` is equal to `addressof(a)`.
|
| 32 |
- `(a + n)` is equal to `(a += n)`.
|
| 33 |
- For any two positive values `x` and `y` of type `D`, if
|
|
|
|
| 23 |
```
|
| 24 |
|
| 25 |
Let `a` and `b` be valid iterators of type `I` such that `b` is
|
| 26 |
reachable from `a` after `n` applications of `++a`, let `D` be
|
| 27 |
`iter_difference_t<I>`, and let `n` denote a value of type `D`. `I`
|
| 28 |
+
models `random_access_iterator` only if:
|
| 29 |
|
| 30 |
- `(a += n)` is equal to `b`.
|
| 31 |
- `addressof(a += n)` is equal to `addressof(a)`.
|
| 32 |
- `(a + n)` is equal to `(a += n)`.
|
| 33 |
- For any two positive values `x` and `y` of type `D`, if
|