tmp/tmp33_s_wti/{from.md → to.md}
RENAMED
|
@@ -29,10 +29,24 @@ template<input_range R1, input_range R2, class Proj1 = identity,
|
|
| 29 |
class Proj2 = identity,
|
| 30 |
indirect_strict_weak_order<projected<iterator_t<R1>, Proj1>,
|
| 31 |
projected<iterator_t<R2>, Proj2>> Comp = ranges::less>
|
| 32 |
constexpr bool ranges::includes(R1&& r1, R2&& r2, Comp comp = {},
|
| 33 |
Proj1 proj1 = {}, Proj2 proj2 = {});
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 34 |
```
|
| 35 |
|
| 36 |
Let `comp` be `less{}`, `proj1` be `identity{}`, and `proj2` be
|
| 37 |
`identity{}`, for the overloads with no parameters by those names.
|
| 38 |
|
|
|
|
| 29 |
class Proj2 = identity,
|
| 30 |
indirect_strict_weak_order<projected<iterator_t<R1>, Proj1>,
|
| 31 |
projected<iterator_t<R2>, Proj2>> Comp = ranges::less>
|
| 32 |
constexpr bool ranges::includes(R1&& r1, R2&& r2, Comp comp = {},
|
| 33 |
Proj1 proj1 = {}, Proj2 proj2 = {});
|
| 34 |
+
|
| 35 |
+
template<execution-policy Ep, random_access_iterator I1, sized_sentinel_for<I1> S1,
|
| 36 |
+
random_access_iterator I2, sized_sentinel_for<I2> S2,
|
| 37 |
+
class Proj1 = identity, class Proj2 = identity,
|
| 38 |
+
indirect_strict_weak_order<projected<I1, Proj1>, projected<I2, Proj2>> Comp =
|
| 39 |
+
ranges::less>
|
| 40 |
+
bool ranges::includes(Ep&& exec, I1 first1, S1 last1, I2 first2, S2 last2,
|
| 41 |
+
Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {});
|
| 42 |
+
template<execution-policy Ep, sized-random-access-range R1, sized-random-access-range R2,
|
| 43 |
+
class Proj1 = identity, class Proj2 = identity,
|
| 44 |
+
indirect_strict_weak_order<projected<iterator_t<R1>, Proj1>,
|
| 45 |
+
projected<iterator_t<R2>, Proj2>> Comp = ranges::less>
|
| 46 |
+
bool ranges::includes(Ep&& exec, R1&& r1, R2&& r2,
|
| 47 |
+
Comp comp = {}, Proj1 proj1 = {}, Proj2 proj2 = {});
|
| 48 |
```
|
| 49 |
|
| 50 |
Let `comp` be `less{}`, `proj1` be `identity{}`, and `proj2` be
|
| 51 |
`identity{}`, for the overloads with no parameters by those names.
|
| 52 |
|