import { LocationRange } from "../../ast/types.js";
import { AnyExpressionIR } from "../../compiler/types.js";
import { ErrorMessage } from "../../errors/messages.js";
import { TTypedLambda } from "../../types/TTypedLambda.js";
import { Value } from "../../value/index.js";
import { Reducer } from "../Reducer.js";
import { BaseLambda } from "./index.js";
export declare class UserDefinedLambda extends BaseLambda {
    readonly type = "UserDefinedLambda";
    signature: TTypedLambda;
    name?: string;
    body: AnyExpressionIR;
    constructor(name: string | undefined, captures: Value[], signature: TTypedLambda, body: AnyExpressionIR);
    call(args: Value[], reducer: Reducer, location?: LocationRange): Value;
    display(): string;
    toString(): string;
    signatures(): TTypedLambda[];
    getParameterNames(): (string | undefined)[];
    parameterString(): string;
}
export declare class UserDefinedLambdaDomainError {
    idx: number;
    error: ErrorMessage;
    constructor(idx: number, error: ErrorMessage);
}
//# sourceMappingURL=UserDefinedLambda.d.ts.map