spec
spec copied to clipboard
[spec] Fix typing rule for module instances
The appendix was not updated for the bulk op extension, so missed the addition of elem and data components to the context.
Just noticed that store validity needed a tweak to match the eleminst judgement as well. PTAL.