tmp/tmpdvevnes8/{from.md → to.md}
RENAMED
|
@@ -1,18 +1,18 @@
|
|
| 1 |
#### Library contents <a id="contents">[[contents]]</a>
|
| 2 |
|
| 3 |
-
The C++standard library provides definitions for the entities and
|
| 4 |
-
described in the synopses of the C++standard library headers
|
| 5 |
-
[[headers]]
|
| 6 |
|
| 7 |
All library entities except `operator new` and `operator delete` are
|
| 8 |
defined within the namespace `std` or namespaces nested within namespace
|
| 9 |
`std`.[^12] It is unspecified whether names declared in a specific
|
| 10 |
namespace are declared directly in that namespace or in an inline
|
| 11 |
namespace inside that namespace.[^13]
|
| 12 |
|
| 13 |
Whenever a name `x` defined in the standard library is mentioned, the
|
| 14 |
name `x` is assumed to be fully qualified as `::std::x`, unless
|
| 15 |
-
explicitly described otherwise. For example, if the *Effects:*
|
| 16 |
for library function `F` is described as calling library function `G`,
|
| 17 |
the function `::std::G` is meant.
|
| 18 |
|
|
|
|
| 1 |
#### Library contents <a id="contents">[[contents]]</a>
|
| 2 |
|
| 3 |
+
The C++ standard library provides definitions for the entities and
|
| 4 |
+
macros described in the synopses of the C++ standard library headers
|
| 5 |
+
[[headers]], unless otherwise specified.
|
| 6 |
|
| 7 |
All library entities except `operator new` and `operator delete` are
|
| 8 |
defined within the namespace `std` or namespaces nested within namespace
|
| 9 |
`std`.[^12] It is unspecified whether names declared in a specific
|
| 10 |
namespace are declared directly in that namespace or in an inline
|
| 11 |
namespace inside that namespace.[^13]
|
| 12 |
|
| 13 |
Whenever a name `x` defined in the standard library is mentioned, the
|
| 14 |
name `x` is assumed to be fully qualified as `::std::x`, unless
|
| 15 |
+
explicitly described otherwise. For example, if the *Effects:* element
|
| 16 |
for library function `F` is described as calling library function `G`,
|
| 17 |
the function `::std::G` is meant.
|
| 18 |
|