Closed kjcjohnson closed 3 years ago
The synth-term command should support declare-var inside, where the type declarations are scoped to only inside of the grammar declaration.
synth-term
declare-var
The
synth-termcommand should supportdeclare-varinside, where the type declarations are scoped to only inside of the grammar declaration.