autoParam String Lean.Language.Snapshot.desc._autoParam →
  Lean.Language.Snapshot.Diagnostics →
    Option Lean.Elab.InfoTree →
      Lean.TraceState →
        Bool →
          Lean.Language.SnapshotTask Lean.Language.DynamicSnapshot →
            Lean.Language.SnapshotTask Lean.Language.Lean.CommandResultSnapshot →
              Lean.Language.SnapshotTask Lean.Language.SnapshotLeaf →
                Lean.Language.SnapshotTask Lean.Language.SnapshotTree → Lean.Language.Lean.CommandElaboratingSnapshot