Module types 

Module system types for import resolution and dependency tracking.

Structs

CycleError

A detected import cycle.

ImportDecl

A parsed import declaration.

ModuleGraph

A directed graph of module dependencies.

ModuleInfo

Metadata about a resolved module.

ModulePath

A dot-separated module path, e.g. Mathlib.Algebra.Ring → ["Mathlib", "Algebra", "Ring"].

ModuleRegistry

Registry that maps ModulePaths to ModuleInfos, with file-system root search and a resolution cache.

Enums

ModuleResolutionResult

The outcome of attempting to resolve a ModulePath in a ModuleRegistry.