|
10664 | 10664 | @\libconcept{random_access_iterator}@ O, @\libconcept{sized_sentinel_for}@<O> OutS, class Comp = ranges::less,
|
10665 | 10665 | class Proj1 = identity, class Proj2 = identity>
|
10666 | 10666 | requires @\libconcept{mergeable}@<I1, I2, O, Comp, Proj1, Proj2>
|
10667 |
| - ranges::set_difference_result<I1, I2, O> |
| 10667 | + ranges::set_difference_result<I1, O> |
10668 | 10668 | ranges::set_difference(Ep&& exec, I1 first1, S1 last1,
|
10669 | 10669 | I2 first2, S2 last2, O result, OutS result_last,
|
10670 | 10670 | Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {});
|
|
10673 | 10673 | class Proj1 = identity, class Proj2 = identity>
|
10674 | 10674 | requires @\libconcept{mergeable}@<iterator_t<R1>, iterator_t<R2>, iterator_t<OutR>,
|
10675 | 10675 | Comp, Proj1, Proj2>
|
10676 |
| - ranges::set_difference_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>, |
10677 |
| - borrowed_iterator_t<OutR>> |
| 10676 | + ranges::set_difference_result<borrowed_iterator_t<R1>, borrowed_iterator_t<OutR>> |
10678 | 10677 | ranges::set_difference(Ep&& exec, R1&& r1, R2&& r2, OutR&& result_r, Comp comp = {},
|
10679 | 10678 | Proj1 proj1 = {}, Proj2 proj2 = {});
|
10680 | 10679 | \end{itemdecl}
|
@@ -10717,14 +10716,14 @@
|
10717 | 10716 | \tcode{result_last}
|
10718 | 10717 | for the overloads in namespace \tcode{std}.
|
10719 | 10718 | \item
|
10720 |
| - \tcode{\{last1, last2, result + $N$\}} |
| 10719 | + \tcode{\{last1, result + $N$\}} |
10721 | 10720 | for the overloads in namespace \tcode{ranges},
|
10722 | 10721 | if $N$ is equal to $M$.
|
10723 | 10722 | \item
|
10724 |
| - Otherwise, \tcode{\{j1, j2, result_last\}} |
| 10723 | + Otherwise, \tcode{\{j1, result_last\}} |
10725 | 10724 | for the overloads in namespace \tcode{ranges},
|
10726 |
| - where the iterators \tcode{j1} and \tcode{j2} |
10727 |
| - point to positions past the last copied or skipped elements |
| 10725 | + where the iterator \tcode{j1} |
| 10726 | + points to positions past the last copied or skipped elements |
10728 | 10727 | in \range{first1}{last1} and \range{first2}{last2}, respectively.
|
10729 | 10728 | \end{itemize}
|
10730 | 10729 |
|
|
0 commit comments