Elaboration of subtyping rule of struct and variant in SpecTec IL#2111
Open
jihongmin63 wants to merge 4 commits intoWebAssembly:mainfrom
Open
Elaboration of subtyping rule of struct and variant in SpecTec IL#2111jihongmin63 wants to merge 4 commits intoWebAssembly:mainfrom
jihongmin63 wants to merge 4 commits intoWebAssembly:mainfrom
Commits
Commits on Mar 10, 2026
- committed
