Access AST of Parser?
jsinglet opened this issue · comments
What facilities are provided for accessing (via API) the AST of the parsed program? I can't seem to find this information in the documentation.
kframework / k-legacy
The K tools (deprecated, see README)