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

getWorkspaceService

open override fun getWorkspaceService(): WorkspaceService