import type { TypeCheckerContext } from "./types.js";
/**
 * Error on plain imports that don't resolve to a real export:
 *   - a name a loaded Agency file doesn't define  → importNameNotFound
 *   - a module path that resolves to no file       → importModuleNotFound
 *
 * Covers `import { ... }` (Agency only) and `import node { ... }`. Skips JS
 * imports, `export { } from`, and unresolvable `pkg::` (the latter two already
 * throw in SymbolTable.build). Stays silent when the target exists but wasn't
 * loaded — that is a partial view, and the target's own error is the real one.
 */
export declare function checkMissingImports(ctx: TypeCheckerContext): void;