Skip to content

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

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

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