language-server/tools.samt.ls/SAMT_CONFIG_FILE_NAME

SAMT_CONFIG_FILE_NAME

val SAMT_CONFIG_FILE_NAME: Path