tmp/tmp4i812348/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,9 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#### General <a id="meta.unary.general">[[meta.unary.general]]</a>
|
| 2 |
+
|
| 3 |
+
Subclause [[meta.unary]] contains templates that may be used to query
|
| 4 |
+
the properties of a type at compile time.
|
| 5 |
+
|
| 6 |
+
Each of these templates shall be a *Cpp17UnaryTypeTrait* [[meta.rqmts]]
|
| 7 |
+
with a base characteristic of `true_type` if the corresponding condition
|
| 8 |
+
is `true`, otherwise `false_type`.
|
| 9 |
+
|