1:- module(lsp_capabilities,[
    2  server_capabilities/1
    3  ]).    4
    5server_capabilities(Capabilities) :-
    6  Capabilities = _{
    7    textDocumentSync: _{
    8      openClose: true,
    9      % This means the client sends the full content on each change
   10      change: 1
   11    },
   12    workspaceSymbolProvider: true,
   13    documentSymbolProvider: true,
   14    hoverProvider: true,
   15    referencesProvider: true,
   16    definitionProvider: true,
   17    completionProvider: _{
   18      
   19    }
   20  }