tmp/tmp4kkppne8/{from.md → to.md}
RENAMED
|
@@ -1,11 +1,13 @@
|
|
| 1 |
##### General <a id="type.descriptions.general">[[type.descriptions.general]]</a>
|
| 2 |
|
| 3 |
The Requirements subclauses may describe names that are used to specify
|
| 4 |
-
constraints on template arguments.[^
|
| 5 |
-
|
| 6 |
-
|
|
|
|
|
|
|
| 7 |
|
| 8 |
Certain types defined in [[input.output]] are used to describe
|
| 9 |
implementation-defined types. They are based on other types, but with
|
| 10 |
added constraints.
|
| 11 |
|
|
|
|
| 1 |
##### General <a id="type.descriptions.general">[[type.descriptions.general]]</a>
|
| 2 |
|
| 3 |
The Requirements subclauses may describe names that are used to specify
|
| 4 |
+
constraints on template arguments.[^7]
|
| 5 |
+
|
| 6 |
+
These names are used in library Clauses to describe the types that may
|
| 7 |
+
be supplied as arguments by a C++ program when instantiating template
|
| 8 |
+
components from the library.
|
| 9 |
|
| 10 |
Certain types defined in [[input.output]] are used to describe
|
| 11 |
implementation-defined types. They are based on other types, but with
|
| 12 |
added constraints.
|
| 13 |
|