Open source


Expressions represent or compute values you can assign to attributes within a configuration.

Basic expressions are literal values, like "Hello, world!" or true. Expressions may also do things like refer to values exported by components, perform arithmetic, or call functions.

You use expressions when you configure any component. All component arguments have an underlying type. Alloy checks the expression type before assigning the result to an attribute.