Lean.Elab.Command.State →
  Lean.Parser.ModuleParserState →
    String.Pos.Raw →
      Array Lean.Syntax →
        Lean.Parser.InputContext → Lean.Language.Lean.CommandParsedSnapshot → Lean.Elab.IncrementalState