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

didDeleteFiles

open override fun didDeleteFiles(params: DeleteFilesParams)