tmp/tmpu__7zbma/{from.md → to.md}
RENAMED
|
@@ -17,11 +17,11 @@ template<class S, class I>
|
|
| 17 |
```
|
| 18 |
|
| 19 |
Let `i` be an iterator of type `I`, and `s` a sentinel of type `S` such
|
| 20 |
that \[`i`, `s`) denotes a range. Let N be the smallest number of
|
| 21 |
applications of `++i` necessary to make `bool(i == s)` be `true`. `S`
|
| 22 |
-
and `I` model `sized_sentinel_for<S, I>` only if
|
| 23 |
|
| 24 |
- If N is representable by `iter_difference_t<I>`, then `s - i` is
|
| 25 |
well-defined and equals N.
|
| 26 |
- If -N is representable by `iter_difference_t<I>`, then `i - s` is
|
| 27 |
well-defined and equals -N.
|
|
|
|
| 17 |
```
|
| 18 |
|
| 19 |
Let `i` be an iterator of type `I`, and `s` a sentinel of type `S` such
|
| 20 |
that \[`i`, `s`) denotes a range. Let N be the smallest number of
|
| 21 |
applications of `++i` necessary to make `bool(i == s)` be `true`. `S`
|
| 22 |
+
and `I` model `sized_sentinel_for<S, I>` only if:
|
| 23 |
|
| 24 |
- If N is representable by `iter_difference_t<I>`, then `s - i` is
|
| 25 |
well-defined and equals N.
|
| 26 |
- If -N is representable by `iter_difference_t<I>`, then `i - s` is
|
| 27 |
well-defined and equals -N.
|