import type { Expr } from "../ir/ir.js";
import type { SchemaProvider } from "../qualify/schema-provider.js";
import { type Scope } from "../scope/scope.js";
export type Nullability = "notnull" | "nullable" | "unknown";
interface Ctx {
    /** Scopes on the current derived-column path — guards recursive CTEs (mirrors infer.ts). */
    seen: Set<Scope>;
}
export declare function inferNullability(expr: Expr, scope: Scope, schema: SchemaProvider, ctx?: Ctx): Nullability;
export {};