Alloy Documentation
latest
Contents:
Introduction
Language
Signatures
Sets and Relations
Expressions and Constraints
Predicates and Functions
Commands
Modules
Tooling
Modules
Techniques
Alloy Documentation
Docs
»
Language
Edit on GitHub
Language
ΒΆ
Signatures
Relations
Signature Multiplicity
Subtypes
Enums
Sets and Relations
Sets
Relations
Expressions and Constraints
Expressions
Constraints
Predicates and Functions
Predicates
Functions
Facts
Macros
Commands
run
check
Scopes
Modules
Simple Modules
Parameterized Modules
Creating Modules
Read the Docs
v: latest
Versions
latest
Downloads
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.