language-server/tools.samt.ls/SamtWorkspace/removeFile

removeFile

fun removeFile(path: URI)