yap explore
Run
Mod+Enter
Config
Source
Output
Value
—
Type
—
Validity
—
Raw JSON
Config
Snippet
— custom —
Parser rule
Expression (Ann)
Statement (Script)
de Bruijn
Off
Index (#I)
Level (#L)
Both
IVL simplify
Show raw JSON
Show NbE result
Show MIR result