import type { Expr } from "../ir/ir.js";
import type { SchemaProvider } from "../qualify/schema-provider.js";
import { type Scope } from "../scope/scope.js";
import { type Type } from "./types.js";
interface Ctx {
    /** Scopes on the current derived-column path — guards recursive CTEs. */
    seen: Set<Scope>;
    /** Lambda parameter types currently in scope (for higher-order functions). */
    env: Map<string, Type>;
}
export declare function inferType(expr: Expr, scope: Scope, schema: SchemaProvider, ctx?: Ctx): Type;
export declare const HOF_LAMBDA_ARG: Record<string, number>;
export {};