Section 4 · Reading Alloy configuration

Additional resources on Alloy configuration syntax

Estimated time: 1 min