Parse mappings from the intermediate representation #827
Unanswered
francois141
asked this question in
Q&A
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Dear reader,
We are currently working on a Sail-to-Rust compiler and I have a question regarding mappings. Is there the possibility to extract the value of mappings from the libsail.Ast type? I have reviewed the documentation but I didn't manage to find the relevant information Libsail.Ast Documentation.
Thank you in advance for your help!
Beta Was this translation helpful? Give feedback.
All reactions