Configuration files
Alloy configuration files are plain text files with a .alloy
file extension.
You can refer to each Alloy file as a “configuration file” or an “Alloy configuration.”
Alloy configuration files must be UTF-8 encoded and can contain Unicode characters. Alloy configuration files can use Unix-style line endings (LF) and Windows-style line endings (CRLF), but formatters may replace all line endings with Unix-style ones.