We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d9c710c commit 2aa8b23Copy full SHA for 2aa8b23
source/lib-intro.tex
@@ -509,8 +509,8 @@
509
\pnum
510
A declaration may explicitly impose requirements through its associated
511
constraints\iref{temp.constr.decl}. When the associated constraints refer to a
512
-concept\iref{temp.concept}, additional semantic requirements are imposed on the
513
-use of the declaration.
+concept\iref{temp.concept}, the semantic constraints specified for that concept
+are additionally imposed on the use of the declaration.
514
515
\rSec3[structure.specifications]{Detailed specifications}
516
0 commit comments