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:           /// An optional range is a range inside a text document 
            /// that is used to visualize a hover, e.g. by changing the background color.
            Range: Range option }
  
  
      // error: code and message set in case an exception happens during the hover request.
  
  
negative.code:           Type: MessageType
            /// The actual message.
            Message: string }
          interface INotification
  
  /// The show message request is sent from a server to a client to ask the client to display 
  // a particular message in the user interface. In addition to the show message notification the request 
  