[spectec] Make definition of state access nicer#2036

rossberg wants to merge 1 commit intomainWebAssembly/spec:mainfrom

state-shorthandsWebAssembly/spec:state-shorthandsCopy head branch name to clipboard