This ensures that Sets are properly serialized in the JSON output. Needed for a follow-up PR I'll open in Apalache, where we start using the information about quantified variables in type schemes, which are represented as Sets. Related to #1398.
[ ] Tests added for any new code
[x] Documentation added for any new functionality
[x] Entries added to the respective CHANGELOG.md for any new functionality
[ ] Feature table on README.md updated for any listed functionality
Hello :octocat:
This ensures that Sets are properly serialized in the JSON output. Needed for a follow-up PR I'll open in Apalache, where we start using the information about quantified variables in type schemes, which are represented as Sets. Related to #1398.
CHANGELOG.mdfor any new functionalityREADME.mdupdated for any listed functionality