Configuration blocks
Configuration blocks are optional top-level blocks that can be used to configure various parts of the Alloy process. Each configuration block can only be defined once.
Configuration blocks are not components, so they have no exports.