Visual Studio Code – Why are empty `sig`s not shown providing instances?
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: sig Member {} sig Tool {} doesn't give me a visualization of…