anchor.diff:      type DidCloseTextDocumentParams =
           { /// The document that was closed.
             TextDocument: TextDocumentIdentifier }
  +        interface INotification
   
   /// The document save notification is sent from the client to the server when the document was saved in the client.
   module DidSaveTextDocumentNotification =
  
positive.code:           InitializationOptions: obj option
            /// The capabilities provided by the client (editor)
            Capabilities: ClientCapabilities }
  
      /// error.data
      type InitializeError =
          { /// Indicates whether the client should retry to send the
            /// initilize request after showing the message provided in the ResponseError.
            Retry: bool }
  
      /// Defines how the host (editor) should sync document changes to the language server.
      type TextDocumentSyncKind =
  
negative.code:           Type: MessageType
            /// The actual message
            Message: string }
          interface INotification
  
  /// The telemetry notification is sent from the server to the client to ask the client to log a telemetry event.
  module TelemetryNotification =
  