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

containsFile

fun containsFile(path: URI): Boolean