tmp/tmpb3ld1gyw/{from.md → to.md}
RENAMED
|
@@ -41,11 +41,11 @@ Template argument requirements are sometimes referenced by name. See
|
|
| 41 |
[[type.descriptions]].
|
| 42 |
|
| 43 |
In some cases the semantic requirements are presented as C++ code. Such
|
| 44 |
code is intended as a specification of equivalence of a construct to
|
| 45 |
another construct, not necessarily as the way the construct must be
|
| 46 |
-
implemented.[^
|
| 47 |
|
| 48 |
Required operations of any concept defined in this document need not be
|
| 49 |
total functions; that is, some arguments to a required operation may
|
| 50 |
result in the required semantics failing to be met.
|
| 51 |
|
|
|
|
| 41 |
[[type.descriptions]].
|
| 42 |
|
| 43 |
In some cases the semantic requirements are presented as C++ code. Such
|
| 44 |
code is intended as a specification of equivalence of a construct to
|
| 45 |
another construct, not necessarily as the way the construct must be
|
| 46 |
+
implemented.[^3]
|
| 47 |
|
| 48 |
Required operations of any concept defined in this document need not be
|
| 49 |
total functions; that is, some arguments to a required operation may
|
| 50 |
result in the required semantics failing to be met.
|
| 51 |
|