Skip to content

Commit 11877fc

Browse files
committed
[structure.requirements] new para that explains the typographical convention for requirement names
1 parent 6523119 commit 11877fc

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

source/lib-intro.tex

+12
Original file line numberDiff line numberDiff line change
@@ -479,6 +479,18 @@
479479
well-defined expression requirements is described in terms of the valid expressions for
480480
its template type parameters.
481481

482+
\pnum
483+
The library specification uses a typographical convention for naming
484+
requirements. Names in \textit{italic} type that begin with the prefix
485+
\oldconcept{} refer to sets of well-defined expression requirements typically
486+
presented in tabular form, possibly with additional prose semantic requirements.
487+
For example, \oldconcept{Destructible}~(\tref{destructible}) is such a named
488+
requirement. Names in \tcode{constant width} type refer to library concepts
489+
which are presented as a concept\iref{temp} definition, possibly with additional
490+
prose semantic requirements. For example,
491+
\libconcept{Destructible}\iref{concept.destructible}
492+
is such a named requirement.
493+
482494
\pnum
483495
Template argument requirements are sometimes referenced by name.
484496
See~\ref{type.descriptions}.

0 commit comments

Comments
 (0)