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