import { type Environment } from "../../env";
import { type Expr } from "../../expr";
import type { SourceNamespaceType } from "../../types/definitions";
import type { EvaluatorContext, RecordTypeCallResult } from "../context";
export declare function tryToImplementRecordWithArgumentsByRecordType({ moduleExpr, sourceNamespaceType, argExprs, callerEnv, context, }: {
    moduleExpr: Expr;
    sourceNamespaceType: SourceNamespaceType;
    argExprs: Expr[];
    callerEnv: Environment;
    context: EvaluatorContext;
}): RecordTypeCallResult;
