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).

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.