/**
 * @import {
 *   CekConstrArgFrame,
 *   CekContext,
 *   CekFrame,
 *   CekEnv,
 *   CekState,
 *   CekTerm,
 *   CekValue
 * } from "../index.js"
 */
/**
 * @param {number} tag
 * @param {CekValue[]} evaluatedArgs
 * @param {CekTerm[]} pendingArgs
 * @param {CekEnv} env
 * @returns {CekConstrArgFrame}
 */
export function makeCekConstrArgFrame(tag: number, evaluatedArgs: CekValue[], pendingArgs: CekTerm[], env: CekEnv): CekConstrArgFrame;
import type { CekValue } from "../index.js";
import type { CekTerm } from "../index.js";
import type { CekEnv } from "../index.js";
import type { CekConstrArgFrame } from "../index.js";
//# sourceMappingURL=CekConstrArgFrame.d.ts.map