import { type IrExpression, type ValidationContext } from "./soundness-gate-shared.js";
export declare const validateExpression: (expr: IrExpression, ctx: ValidationContext) => void;
//# sourceMappingURL=soundness-gate-expression-validation.d.ts.map