tmp/tmpndmku389/{from.md → to.md}
RENAMED
|
@@ -16,11 +16,11 @@ namespace std::ranges {
|
|
| 16 |
concept cartesian-product-is-bidirectional = // exposition only
|
| 17 |
(bidirectional_range<maybe-const<Const, First>> && ... &&
|
| 18 |
(bidirectional_range<maybe-const<Const, Vs>>
|
| 19 |
&& cartesian-product-common-arg<maybe-const<Const, Vs>>));
|
| 20 |
|
| 21 |
-
template<class First, class...
|
| 22 |
concept cartesian-product-is-common = // exposition only
|
| 23 |
cartesian-product-common-arg<First>;
|
| 24 |
|
| 25 |
template<class... Vs>
|
| 26 |
concept cartesian-product-is-sized = // exposition only
|
|
|
|
| 16 |
concept cartesian-product-is-bidirectional = // exposition only
|
| 17 |
(bidirectional_range<maybe-const<Const, First>> && ... &&
|
| 18 |
(bidirectional_range<maybe-const<Const, Vs>>
|
| 19 |
&& cartesian-product-common-arg<maybe-const<Const, Vs>>));
|
| 20 |
|
| 21 |
+
template<class First, class...>
|
| 22 |
concept cartesian-product-is-common = // exposition only
|
| 23 |
cartesian-product-common-arg<First>;
|
| 24 |
|
| 25 |
template<class... Vs>
|
| 26 |
concept cartesian-product-is-sized = // exposition only
|