Expand description
A Leo module represents a collection of declarations within a single scope, typically corresponding to a file or logical unit of code. It stores all relevant definitions associated with a module, including:
- The name of the program the module belongs to (
program_name
) - The hierarchical path identifying the module (
path
) - A list of constant declarations (
consts
) - A list of struct type definitions (
structs
) - A list of function definitions (
functions
)
Structsยง
- Module
- Stores the abstract syntax tree of a Leo module.