tmp/tmpwf9wiinx/{from.md → to.md}
RENAMED
|
@@ -2,11 +2,11 @@
|
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
namespace std {
|
| 5 |
// [execpol.type], execution policy type trait
|
| 6 |
template<class T> struct is_execution_policy;
|
| 7 |
-
template<class T>
|
| 8 |
}
|
| 9 |
|
| 10 |
namespace std::execution {
|
| 11 |
// [execpol.seq], sequenced execution policy
|
| 12 |
class sequenced_policy;
|
|
|
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
namespace std {
|
| 5 |
// [execpol.type], execution policy type trait
|
| 6 |
template<class T> struct is_execution_policy;
|
| 7 |
+
template<class T> constexpr bool is_execution_policy_v = is_execution_policy<T>::value;
|
| 8 |
}
|
| 9 |
|
| 10 |
namespace std::execution {
|
| 11 |
// [execpol.seq], sequenced execution policy
|
| 12 |
class sequenced_policy;
|