Package stdlib contains standard library functions exposed to Alloy configs.

Package syntaxtags decodes a struct type into syntax object and structural tags.

Package value holds the internal representation for Alloy values.