Skip to content

[spectec] Make definition of state access nicer - #2036

Merged
rossberg merged 7 commits into
mainfrom
state-shorthands
Mar 24, 2026
Merged

[spectec] Make definition of state access nicer#2036
rossberg merged 7 commits into
mainfrom
state-shorthands