tmp/tmpg1lv7r7z/{from.md → to.md}
RENAMED
|
@@ -59,13 +59,13 @@ with no parameters by those names.
|
|
| 59 |
`RandomAccessIterator` meets the *Cpp17ValueSwappable*
|
| 60 |
requirements [[swappable.requirements]], the type of `*result_first`
|
| 61 |
meets the *Cpp17MoveConstructible* ([[cpp17.moveconstructible]]) and
|
| 62 |
*Cpp17MoveAssignable* ([[cpp17.moveassignable]]) requirements.
|
| 63 |
|
| 64 |
-
|
| 65 |
-
|
| 66 |
-
|
| 67 |
|
| 68 |
``` cpp
|
| 69 |
bool(invoke(comp, invoke(proj1, *a1), invoke(proj2, *y2))).
|
| 70 |
```
|
| 71 |
|
|
|
|
| 59 |
`RandomAccessIterator` meets the *Cpp17ValueSwappable*
|
| 60 |
requirements [[swappable.requirements]], the type of `*result_first`
|
| 61 |
meets the *Cpp17MoveConstructible* ([[cpp17.moveconstructible]]) and
|
| 62 |
*Cpp17MoveAssignable* ([[cpp17.moveassignable]]) requirements.
|
| 63 |
|
| 64 |
+
For iterators `a1` and `b1` in \[`first`, `last`), and iterators `x2`
|
| 65 |
+
and `y2` in \[`result_first`, `result_last`), after evaluating the
|
| 66 |
+
assignment `*y2 = *b1`, let E be the value of
|
| 67 |
|
| 68 |
``` cpp
|
| 69 |
bool(invoke(comp, invoke(proj1, *a1), invoke(proj2, *y2))).
|
| 70 |
```
|
| 71 |
|