k-legacy icon indicating copy to clipboard operation
k-legacy copied to clipboard

Published 20 hours ago • verified publisher icon kframework

Access AST of Parser?

Open jsinglet opened this issue 7 years ago • 0 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.

jsinglet avatar Jul 09 '17 23:07 jsinglet