Lines Matching full:production
1573 /// Mangles a template name under the production <type>. Required for
