CWG2520 Template signature and default template arguments

Author: burblebee

source/intro.tex

@@ -600,7 +600,7 @@
 parameter-type-list,
 enclosing namespace,
 return type,
-\grammarterm{template-head},
+signature of the \grammarterm{template-head},
 and
 trailing \grammarterm{requires-clause} (if any)
 
@@ -611,7 +611,7 @@
 parameter-type-list,
 return type,
 enclosing class,
-\grammarterm{template-head},
+signature of the \grammarterm{template-head},
 and
 trailing \grammarterm{requires-clause} (if any)
 
@@ -640,7 +640,7 @@
 \cv-qualifiers (if any),
 \grammarterm{ref-qualifier} (if any),
 return type (if any),
-\grammarterm{template-head},
+signature of the \grammarterm{template-head},
 and
 trailing \grammarterm{requires-clause} (if any)
 
@@ -649,6 +649,14 @@
 \defncontext{class member function template specialization} signature of the member function template
 of which it is a specialization and its template arguments (whether explicitly specified or deduced)
 
+\indexdefn{signature}%
+\definition{signature}{defns.signature.template.head}
+\defncontext{\grammarterm{template-head}}
+template parameter list,
+excluding template parameter names and default arguments,
+and
+\grammarterm{requires-clause} (if any)
+
 \definition{stable algorithm}{defns.stable}
 \defncontext{library}
 \indexdefn{algorithm!stable}%