I’m trying to follow this blog post with Alloy 6 “built 2021-11-19T05:45:51.188Z,” which is built into the Visual Studio Code Alloy Extension. But even using the first example:

I’m trying to follow this blog post with Alloy 6 “built 2021-11-19T05:45:51.188Z,” which is built into the Visual Studio Code Alloy Extension. But even using the first example:

I’m trying to follow this blog post with Alloy 6 “built 2021-11-19T05:45:51.188Z,” which is built into the Visual Studio Code Alloy Extension. But even using the first example:

In the book, Software Abstractions, chapter 5.2.2 Skolemization, it mentions,

For a beginner in Alloy, there seems to be three places to see the vertical bar, ‘|’,