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