Miden Assembler which can be used to convert Miden assembly source code into program MAST.
Contains information about compilation of a program or a kernel module.
Serialization options
Used to enable or disable serialization of parts of the AST. Serialization options are
serialized along with the AST to make the serialization format self-contained.
Library namespace.
Path to a module or a procedure.
A concrete implementation of the Library trait. Contains the minimal attributes of a functional
library.
An abstract syntax tree of a Miden module.
An abstract syntax tree of an executable Miden program.