Skip to content

Commit 11b6f18

Browse files
CaseyCarterzygoloid
authored andcommitted
[structure.requirements] Add paragraph explaining the typographical convention for requirement names
1 parent bfaea04 commit 11b6f18

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

source/lib-intro.tex

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -483,6 +483,18 @@
483483
well-defined expression requirements is described in terms of the valid expressions for
484484
its template type parameters.
485485

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

0 commit comments

Comments
 (0)