Module codegen 

Modules

lean

Aver → target language transpilation.

rust

Structs

CodegenContext

Collected context from the Aver program, shared across all backends.

ModuleInfo

Information about a dependent module loaded for codegen.

ProjectOutput

Output files from a codegen backend.

Functions

build_context

Build a CodegenContext from parsed + type-checked items.