Struct/record type declarations with named field access in Boole#1128
Draft
kondylidou wants to merge 2 commits into
Draft
Struct/record type declarations with named field access in Boole#1128kondylidou wants to merge 2 commits into
kondylidou wants to merge 2 commits into
Commits
Commits on May 6, 2026
- committed
- authored
