Module types 

Types for the indexed environment layer.

Provides bidirectional Name ↔ compact u32 id mapping and multi-dimensional indices over declaration attributes (sort level, Pi arity, namespace prefix) for sub-linear declaration lookup in large kernel environments.

Structs

EnvIndex

Composite index combining name, type, and module indices.

IndexStats

A snapshot of index statistics.

LookupResult

The result of a successful indexed lookup.

ModuleIndex

Groups declarations by their namespace prefix.

NameIndex

Bidirectional mapping between declaration names and compact u32 identifiers.

TypeIndex

Index over declaration type attributes: sort level and Pi-type arity.