Skip to content

Merge pull request #1011 from hacspec/rename-struct-fields-access-in-… #3046

Merge pull request #1011 from hacspec/rename-struct-fields-access-in-…

Merge pull request #1011 from hacspec/rename-struct-fields-access-in-… #3046