tmp/tmp70irgg_r/{from.md → to.md}
RENAMED
|
@@ -1,7 +1,9 @@
|
|
| 1 |
### Template parameter names <a id="thread.req.paramname">[[thread.req.paramname]]</a>
|
| 2 |
|
| 3 |
Throughout this Clause, the names of template parameters are used to
|
| 4 |
express type requirements. If a template parameter is named `Predicate`,
|
| 5 |
`operator()` applied to the template argument shall return a value that
|
| 6 |
-
is convertible to `bool`.
|
|
|
|
|
|
|
| 7 |
|
|
|
|
| 1 |
### Template parameter names <a id="thread.req.paramname">[[thread.req.paramname]]</a>
|
| 2 |
|
| 3 |
Throughout this Clause, the names of template parameters are used to
|
| 4 |
express type requirements. If a template parameter is named `Predicate`,
|
| 5 |
`operator()` applied to the template argument shall return a value that
|
| 6 |
+
is convertible to `bool`. If a template parameter is named `Clock`, the
|
| 7 |
+
corresponding template argument shall be a type `C` for which
|
| 8 |
+
`is_clock_v<C>` is `true`; otherwise the program is ill-formed.
|
| 9 |
|