import { type IrModule, type IrStatement, type ValidationContext } from "./soundness-gate-shared.js";
export declare const validateStatement: (stmt: IrStatement, ctx: ValidationContext) => void;
export declare const extractLocalTypeNames: (statements: readonly IrStatement[]) => ReadonlySet<string>;
export declare const extractImportedTypeNames: (module: IrModule) => ReadonlySet<string>;
//# sourceMappingURL=soundness-gate-statement-validation.d.ts.map