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
• Time
  • Variables
  • Temporal Operators
• Modules
  • Simple Modules
  • Parameterized Modules
  • Creating Modules