language-server/tools.samt.ls/SamtLanguageServer/getTextDocumentService

getTextDocumentService

open override fun getTextDocumentService(): TextDocumentService