[lex.pptoken] import-keyword, module-keyword, export-keyword are not indexed

[eisenwave]

I believe the problem is that they don't have a \nontermdef section and aren't otherwise indexed.

They're defined in [lex.pptoken] p4 but not in the usual way:

draft/source/lex.tex

Lines 563 to 569 in ceff4ea

	\pnum
	The \grammarterm{import-keyword} is produced
	by processing an \keyword{import} directive\iref{cpp.import},
	the \grammarterm{module-keyword} is produced
	by preprocessing a \keyword{module} directive\iref{cpp.module}, and
	the \grammarterm{export-keyword} is produced
	by preprocessing either of the previous two directives.

I guess this also means that [gram] is incomplete because it doesn't explain how an import-keyword is produced, and doesn't link to it.

[jensmaurer]

The "index of grammar productions" contains these, although does not refer to a definition.

Those things are not grammar non-terminals in the traditional sense, but are special tokens produced during preprocessing.

[eisenwave]

It's good to know that they're indexed somewhere.

I was looking for it in the general Index, where other grammar terms are indexed, just not these three. I still think these three should be indexed there because we've built the expectation from other terms.

Not sure how to get them there though.