Option (Std.TreeMap Lean.Lsp.DocumentUri Lean.Lsp.TextEditBatch compare) →
  Option (Array Lean.Lsp.DocumentChange) →
    Option (Std.TreeMap String Lean.Lsp.ChangeAnnotation compare) → Lean.Lsp.WorkspaceEdit