productionrecap — A cross-reference to an EBNF production
A productionrecap
is a cross reference to a production
.
A productionrecap
is rendered exactly like the production to which it refers. The purpose of the productionrecap
element is to allow a productionset
to contain copies of production
s defined elsewhere. This frequently makes it
easier for readers to understand.