Module environment 

Type Environment

Manages type information for variables, functions, and types in different scopes during type inference and checking.

Structs

CanonicalField

A canonical field in a finalized type layout

CanonicalType

A canonical type representing the finalized layout of an evolved type

ControlFlowContext

Context for tracking control flow during type evolution

EvolvedField

Represents a field that was added to a type through evolution

HoistedField

A field that was hoisted from a property assignment (e.g., a.b = 2 hoists field b to variable a)

RecordField

A field in a record schema

RecordSchema

A record schema defining the fields of a record type

TraitImplEntry

A registered trait implementation: (trait_name, target_type) → method names

TypeAliasEntry

A type alias with optional meta parameter overrides

TypeEnvironment

TypeEvolution

Tracks how a variable’s type evolves through the program