Lean.Server.DocumentMeta →
  Lean.Language.Lean.InitialSnapshot →
    IO.AsyncList IO.Error Lean.Server.Snapshots.Snapshot →
      IO.Ref (Array Lean.Widget.InteractiveDiagnostic) → Lean.Server.FileWorker.EditableDocumentCore