/**
 * Lambda Type Inference — inferLambdaType
 *
 * Infers the IrFunctionType of an arrow function or function expression
 * using parameter types from the expected type context.
 *
 * DAG position: depends on inference-utilities, inference-expressions-infer
 */
import type { IrType, IrFunctionType } from "../types/index.js";
import * as ts from "typescript";
import type { TypeSystemState } from "./type-system-state.js";
export declare const inferLambdaType: (state: TypeSystemState, expr: ts.Expression, expectedType: IrType | undefined) => IrFunctionType | undefined;
//# sourceMappingURL=inference-expressions-lambda.d.ts.map