Alloy Documentation
latest
Contents:
Introduction
Language
Tooling
Modules
Techniques
Boolean Fields
Dynamic Models
Alloy Documentation
Docs
»
Techniques
Edit on GitHub
Techniques
ΒΆ
Boolean Fields
Subtyping
Dynamic Models
Changing Object Signature
Time Signatures
Common Issues
Limitations
Read the Docs
v: latest
Versions
latest
Downloads
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.