search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

Access AST of Parser? #2320

Open jsinglet opened 6 years ago

jsinglet commented 6 years ago

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.