tmp/tmpd2ogzzfe/{from.md → to.md}
RENAMED
|
@@ -219,13 +219,13 @@ with no parameters by those names.
|
|
| 219 |
`RandomAccessIterator` meets the *Cpp17ValueSwappable*
|
| 220 |
requirements [[swappable.requirements]], the type of `*result_first`
|
| 221 |
meets the *Cpp17MoveConstructible* ([[cpp17.moveconstructible]]) and
|
| 222 |
*Cpp17MoveAssignable* ([[cpp17.moveassignable]]) requirements.
|
| 223 |
|
| 224 |
-
|
| 225 |
-
|
| 226 |
-
|
| 227 |
|
| 228 |
``` cpp
|
| 229 |
bool(invoke(comp, invoke(proj1, *a1), invoke(proj2, *y2))).
|
| 230 |
```
|
| 231 |
|
|
|
|
| 219 |
`RandomAccessIterator` meets the *Cpp17ValueSwappable*
|
| 220 |
requirements [[swappable.requirements]], the type of `*result_first`
|
| 221 |
meets the *Cpp17MoveConstructible* ([[cpp17.moveconstructible]]) and
|
| 222 |
*Cpp17MoveAssignable* ([[cpp17.moveassignable]]) requirements.
|
| 223 |
|
| 224 |
+
For iterators `a1` and `b1` in \[`first`, `last`), and iterators `x2`
|
| 225 |
+
and `y2` in \[`result_first`, `result_last`), after evaluating the
|
| 226 |
+
assignment `*y2 = *b1`, let E be the value of
|
| 227 |
|
| 228 |
``` cpp
|
| 229 |
bool(invoke(comp, invoke(proj1, *a1), invoke(proj2, *y2))).
|
| 230 |
```
|
| 231 |
|