tmp/tmp8zycwg71/{from.md → to.md}
RENAMED
|
@@ -50,11 +50,11 @@ namespace std::ranges {
|
|
| 50 |
concept cartesian-product-is-bidirectional = // exposition only
|
| 51 |
(bidirectional_range<maybe-const<Const, First>> && ... &&
|
| 52 |
(bidirectional_range<maybe-const<Const, Vs>>
|
| 53 |
&& cartesian-product-common-arg<maybe-const<Const, Vs>>));
|
| 54 |
|
| 55 |
-
template<class First, class...
|
| 56 |
concept cartesian-product-is-common = // exposition only
|
| 57 |
cartesian-product-common-arg<First>;
|
| 58 |
|
| 59 |
template<class... Vs>
|
| 60 |
concept cartesian-product-is-sized = // exposition only
|
|
|
|
| 50 |
concept cartesian-product-is-bidirectional = // exposition only
|
| 51 |
(bidirectional_range<maybe-const<Const, First>> && ... &&
|
| 52 |
(bidirectional_range<maybe-const<Const, Vs>>
|
| 53 |
&& cartesian-product-common-arg<maybe-const<Const, Vs>>));
|
| 54 |
|
| 55 |
+
template<class First, class...>
|
| 56 |
concept cartesian-product-is-common = // exposition only
|
| 57 |
cartesian-product-common-arg<First>;
|
| 58 |
|
| 59 |
template<class... Vs>
|
| 60 |
concept cartesian-product-is-sized = // exposition only
|