This is documentation for the next version of Alloy. For the latest stable release, go to the latest version.
Standard library
The standard library is a list of functions you can use in expressions when assigning values to attributes.
All standard library functions are pure functions. The functions always return the same output if given the same input.