language-server/tools.samt.ls/SamtWorkspaceService/connect

connect

open override fun connect(client: LanguageClient)