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

shutdown

open override fun shutdown(): CompletableFuture<Any>