Module types 

Type inference pass for the LOGOS compilation pipeline.

Provides a structured type representation (LogosType) and a type environment (TypeEnv) that replaces the ad-hoc string-based type tracking previously scattered across codegen.rs.

Pipeline Position

Parse → TypeInfer → Optimize → Codegen
             ^ THIS MODULE

The TypeEnv is computed once from the AST and passed immutably to codegen, replacing variable_types: HashMap<Symbol, String> and string_vars: HashSet<Symbol>.

Structs

FnSig

Function signature for tracked functions.

RustNames

Centralized name resolution for Rust identifier output.

TypeEnv

Type environment built by a forward pass over the AST.

Enums

LogosType

Structured type representation for LOGOS values.