productionrecap
productionrecap — A cross-reference to an EBNF production.
Description
A productionrecap is a cross-reference to a
production.
Processing expectations
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
productions defined elsewhere. This frequently
makes it easier for readers to understand.
Parents
These elements contain productionrecap: productionset.