Configuration files

Alloy configuration files are plain text files with a .alloy file extension. Refer to each Alloy file as a “configuration file” or an “Alloy configuration.”

Alloy configuration files must be UTF-8 encoded and support Unicode characters. They can use Unix-style line endings (LF) or Windows-style line endings (CRLF). Formatters may replace all line endings with Unix-style ones.