Directories ¶
Path | Synopsis |
---|---|
Package stdlib contains standard library functions exposed to Alloy configs.
|
Package stdlib contains standard library functions exposed to Alloy configs. |
Package syntaxtags decodes a struct type into syntax object and structural tags.
|
Package syntaxtags decodes a struct type into syntax object and structural tags. |
Package value holds the internal representation for Alloy values.
|
Package value holds the internal representation for Alloy values. |
Click to show internal directories.
Click to hide internal directories.