Skip to content

Commit 60f7bb7

Browse files
eisenwavetkoeppe
authored andcommitted
[namespace.std] convert (a) and (b) notation to items
1 parent 3e1f377 commit 60f7bb7

File tree

1 file changed

+11
-7
lines changed

1 file changed

+11
-7
lines changed

source/lib-intro.tex

Lines changed: 11 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2844,17 +2844,19 @@
28442844
any standard library class template
28452845
to namespace
28462846
\tcode{std} provided that
2847-
(a) the added declaration
2848-
depends on at least one program-defined type
2849-
and
2850-
(b) the specialization meets the standard library requirements
2847+
\begin{itemize}
2848+
\item the added declaration
2849+
depends on at least one program-defined type, and
2850+
2851+
\item the specialization meets the standard library requirements
28512852
for the original template.
28522853
\begin{footnote}
28532854
Any
28542855
library code that instantiates other library templates
28552856
must be prepared to work adequately with any user-supplied specialization
28562857
that meets the minimum requirements of this document.
28572858
\end{footnote}
2859+
\end{itemize}
28582860

28592861
\pnum
28602862
The behavior of a \Cpp{} program is undefined
@@ -2885,10 +2887,12 @@
28852887
A program may explicitly instantiate
28862888
a class template defined in the standard library
28872889
only if the declaration
2888-
(a) depends on the name of at least one program-defined type
2889-
and
2890-
(b) the instantiation meets the standard library requirements for the
2890+
\begin{itemize}
2891+
\item depends on the name of at least one program-defined type, and
2892+
2893+
\item the instantiation meets the standard library requirements for the
28912894
original template.
2895+
\end{itemize}
28922896

28932897
\pnum
28942898
Let \tcode{\placeholder{F}} denote

0 commit comments

Comments
 (0)