Struct CodegenContext 

pub struct CodegenContext {
    pub items: Vec<TopLevel>,
    pub fn_sigs: HashMap<String, (Vec<Type>, Type, Vec<String>)>,
    pub memo_fns: HashSet<String>,
    pub memo_safe_types: HashSet<String>,
    pub type_defs: Vec<TypeDef>,
    pub fn_defs: Vec<FnDef>,
    pub project_name: String,
    pub modules: Vec<ModuleInfo>,
    pub module_prefixes: HashSet<String>,
}

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

Fields

items: Vec<TopLevel>

All top-level items (post-TCO transform, post-typecheck).

fn_sigs: HashMap<String, (Vec<Type>, Type, Vec<String>)>

Function signatures: name → (param_types, return_type, effects).

memo_fns: HashSet<String>

Functions eligible for auto-memoization.

memo_safe_types: HashSet<String>

Set of type names whose values are memo-safe.

type_defs: Vec<TypeDef>

User-defined type definitions (for struct/enum generation).

fn_defs: Vec<FnDef>

User-defined function definitions.

project_name: String

Project/binary name.

modules: Vec<ModuleInfo>

Dependent modules loaded for inlining.

module_prefixes: HashSet<String>

Set of module prefixes for qualified name resolution (e.g. “Examples.Fibonacci”).