import type { ScopeInfo, TypeCheckerContext } from "./types.js";
/**
 * A value argument to a value-parameterized type (`type Age = GreaterThan(minAge)`)
 * must be a literal, a `static const`, an imported name, or a value parameter
 * of the enclosing alias (AG7007). A value parameter's default may also name
 * an earlier value parameter of the same alias.
 *
 * The generated validator for a type is module-level JavaScript, and it
 * prints a value argument as a bare identifier. A `static const` and an
 * import are JavaScript identifiers there. A plain top-level variable lives
 * in the global store and a parameter or local lives on the stack frame, so
 * the program would crash with "minAge is not defined" (issue #441).
 *
 * A name that resolves to nothing at all is reported as an undefined
 * variable, since the general pass does not look inside types.
 */
export declare function checkValueArgReferences(scopes: ScopeInfo[], ctx: TypeCheckerContext): void;