/**
 * @import {
 *   CekApplyInfo,
 *   CallSiteInfo,
 *   CekContext,
 *   CekFrame,
 *   CekEnv,
 *   CekState,
 *   CekValue
 * } from "../index.js"
 */
/**
 * If the `leftValue` is a lambda function, perform the following transition:
 *
 * $$
 * [\langle\text{lam}~x~M~\rho\rangle~V]
 * $$
 * @param {CekFrame[]} frames
 * @param {CekValue} leftValue
 * @param {CekValue} rightValue
 * @param {CekEnv} frameStack
 * @param {CekContext} ctx
 * @param {CekApplyInfo} info
 * @returns {CekState}
 */
export function applyCekValues(frames: CekFrame[], leftValue: CekValue, rightValue: CekValue, frameStack: CekEnv, ctx: CekContext, info?: CekApplyInfo): CekState;
import type { CekFrame } from "../index.js";
import type { CekValue } from "../index.js";
import type { CekEnv } from "../index.js";
import type { CekContext } from "../index.js";
import type { CekApplyInfo } from "../index.js";
import type { CekState } from "../index.js";
//# sourceMappingURL=applyCekValues.d.ts.map