tmp/tmpe_ymhmpb/{from.md → to.md}
RENAMED
|
@@ -23,11 +23,11 @@ Requirements are stated in terms of well-defined expressions that define
|
|
| 23 |
valid terms of the types that satisfy the requirements. For every set of
|
| 24 |
well-defined expression requirements there is a table that specifies an
|
| 25 |
initial set of the valid expressions and their semantics. Any generic
|
| 26 |
algorithm (Clause [[algorithms]]) that uses the well-defined expression
|
| 27 |
requirements is described in terms of the valid expressions for its
|
| 28 |
-
|
| 29 |
|
| 30 |
Template argument requirements are sometimes referenced by name. See
|
| 31 |
[[type.descriptions]].
|
| 32 |
|
| 33 |
In some cases the semantic requirements are presented as C++code. Such
|
|
|
|
| 23 |
valid terms of the types that satisfy the requirements. For every set of
|
| 24 |
well-defined expression requirements there is a table that specifies an
|
| 25 |
initial set of the valid expressions and their semantics. Any generic
|
| 26 |
algorithm (Clause [[algorithms]]) that uses the well-defined expression
|
| 27 |
requirements is described in terms of the valid expressions for its
|
| 28 |
+
template type parameters.
|
| 29 |
|
| 30 |
Template argument requirements are sometimes referenced by name. See
|
| 31 |
[[type.descriptions]].
|
| 32 |
|
| 33 |
In some cases the semantic requirements are presented as C++code. Such
|