tmp/tmp0xn1itr1/{from.md → to.md}
RENAMED
|
@@ -53,11 +53,11 @@ Requirements are stated in terms of well-defined expressions that define
|
|
| 53 |
valid terms of the types that satisfy the requirements. For every set of
|
| 54 |
well-defined expression requirements there is a table that specifies an
|
| 55 |
initial set of the valid expressions and their semantics. Any generic
|
| 56 |
algorithm (Clause [[algorithms]]) that uses the well-defined expression
|
| 57 |
requirements is described in terms of the valid expressions for its
|
| 58 |
-
|
| 59 |
|
| 60 |
Template argument requirements are sometimes referenced by name. See
|
| 61 |
[[type.descriptions]].
|
| 62 |
|
| 63 |
In some cases the semantic requirements are presented as C++code. Such
|
|
|
|
| 53 |
valid terms of the types that satisfy the requirements. For every set of
|
| 54 |
well-defined expression requirements there is a table that specifies an
|
| 55 |
initial set of the valid expressions and their semantics. Any generic
|
| 56 |
algorithm (Clause [[algorithms]]) that uses the well-defined expression
|
| 57 |
requirements is described in terms of the valid expressions for its
|
| 58 |
+
template type parameters.
|
| 59 |
|
| 60 |
Template argument requirements are sometimes referenced by name. See
|
| 61 |
[[type.descriptions]].
|
| 62 |
|
| 63 |
In some cases the semantic requirements are presented as C++code. Such
|