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.