Lean.Name →
  Lean.Name →
    optParam Lean.Parser.LeadingIdentBehavior Lean.Parser.LeadingIdentBehavior.default →
      autoParam Lean.Name Lean.Parser.registerBuiltinParserAttribute._auto_1 → IO Unit