import { TypeAliasEntry, VariableType } from "../types.js";
import { SourceLocation } from "../types/base.js";
import { TypeCheckError } from "./types.js";
export declare function validateTypeReferences(vt: VariableType, context: string, typeAliases: Record<string, TypeAliasEntry>, errors: TypeCheckError[], loc?: SourceLocation): void;