Skip to content

Show states of named sets by their set in state hints and declared-here - #517

Merged
CatarinaGamboa merged 4 commits into
mainfrom
feat/515-hint-set-notation
Nov 10, 2026
Merged

Show states of named sets by their set in state hints and declared-here#517
CatarinaGamboa merged 4 commits into
mainfrom
feat/515-hint-set-notation

Find the states the declaration explains in its AST, not its text

361d463
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar