import type { Environment } from "../../env";
import { type Expr } from "../../expr";
import type { Type } from "../../types/definitions";
import type { EvaluatorContext } from "../context";
export declare function synthesizeExprAndType({ expr, type, env, context, }: {
    expr: Expr;
    type: Type;
    env: Environment;
    context: EvaluatorContext;
}): {
    expr: Expr;
    type: Type;
    env: Environment;
};
