Module builtins 

Built-in module signatures used by §3.13 examples and beyond.

These are stub signatures that let the type-checker verify code that imports std.io, std.str, std.list, etc. They will be backed by real stages once the stdlib lands (M11).

Constants

MODULE_NAMES

Every module name module_scope resolves, in that function’s match order. Adding a match arm there means adding the name HERE too — lex docs --stdlib-index renders docs/AGENT.md’s generated stdlib index from this list, and lex doc-sync --check in CI fails when the docs drift from what this enumeration produces (#746).

Functions

module_for_import

Resolve import "std.foo" as alias to a module name (e.g. “io”).

module_scope

Build the value-level scope of a module: a record of named functions.