Add pure memory load expression #530
Description
Necessary for referring to memory in specifications.
- In basil IR
- Pretty-printed and parsed
Similar structure to our load statement
{{ message }}
Necessary for referring to memory in specifications.
Similar structure to our load statement