Struct ModuleInfo 

pub struct ModuleInfo {
    pub prefix: String,
    pub depends: Vec<String>,
    pub type_defs: Vec<TypeDef>,
    pub fn_defs: Vec<FnDef>,
    pub analysis: Option<AnalysisResult>,
}

Information about a dependent module loaded for codegen.

Fields

prefix: String

Qualified module path, e.g. “Models.User”.

depends: Vec<String>

Direct depends [...] entries from the source module.

type_defs: Vec<TypeDef>

Type definitions from the module.

fn_defs: Vec<FnDef>

Function definitions from the module (excluding main).

analysis: Option<AnalysisResult>

IR-level analysis facts produced by the dep module’s pipeline run (analyze stage). None for modules loaded via paths that skip the analyze stage (none in production today; left optional for future ad-hoc loaders). Aver’s module DAG invariant makes per-module analysis sufficient — see project_aver_module_dag memory and src/ir/analyze.rs for why cross-module SCCs are impossible.