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

exit

open override fun exit()