Skip to content

Merge pull request #727 from hacspec/refactor-concrete-ident-generated #2384

Merge pull request #727 from hacspec/refactor-concrete-ident-generated

Merge pull request #727 from hacspec/refactor-concrete-ident-generated #2384