/**
 * @import { CekFrame, CekStack, CekStateChange, CekTerm, CekValue } from "../index.js"
 */
/**
 * @param {number} tag
 * @param {CekValue[]} evaluatedArgs
 * @param {CekTerm[]} pendingArgs
 * @param {CekStack} stack
 * @returns {CekFrame}
 */
export function makeConstrArgFrame(tag: number, evaluatedArgs: CekValue[], pendingArgs: CekTerm[], stack: CekStack): CekFrame;
import type { CekValue } from "../index.js";
import type { CekTerm } from "../index.js";
import type { CekStack } from "../index.js";
import type { CekFrame } from "../index.js";
//# sourceMappingURL=ConstrArgFrame.d.ts.map