Skip to content

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

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

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

Annotations

1 warning

ocamlformat

succeeded Oct 17, 2024 in 44s