규칙 3.9

A shader file may import what another shader file exports, by a relative specifier or, from a package, by the package’s name; the file a compile starts from and every shader file it imports, directly or through another, are one program, which emits one module, and each file keeps the scope TypeScript gives it. Every declaration a file can make at the top level can be exported and imported, by name (import { a, b as c }), as a type (import type), through a module namespace read one name at a time (import * as ns, then ns.f), and through a re-export (export { a } from, export { a as b } from, export * from); the module holds the entry’s declarations and what it re-exports and, of each imported file, what those reach, so an imported file’s own entry points are not in it. A relative specifier resolves against the importing file, with .js and .mjs read as .ts and .ts appended to any other path; any other names a package, name or @scope/name and an optional subpath, which is the first node_modules/<name>/package.json from the importing file’s directory up: with exports, the subpath is looked up in it as Node looks it up, with the conditions typeshade, import and default tried in that order, and without exports, a subpath names a file of the package by the relative rule; both by the one rule the language service resolves an import by. A program holds one copy of a package version: a file of a package is one file by the package’s name, its version and its path in the package, however many paths reach it. An import the compiler does not follow must be refused with TS8072, on the import: a path that names no file or one the compile cannot read, a file that does not begin with the directive (Rule 3.1), a package no node_modules holds, a subpath a package’s exports does not name or maps to null, a package’s name alone when it has no exports, a # specifier of a package’s import map, a specifier that is neither relative nor a package name, a name the file does not export, a default import or export, an import that names nothing, import(...) and require, and a module namespace used as a value; a use of what it would have bound reports nothing more (Rule 12.4).