/**
 * @param {IntLike} tag
 * @param {UplcTerm[]} args
 * @param {Site | undefined} [site]
 * @returns {UplcConstr}
 */
export function makeUplcConstr(tag: IntLike, args: UplcTerm[], site?: Site | undefined): UplcConstr;
/**
 * @param {FlatReader} r
 * @returns {UplcConstr}
 */
export function decodeUplcConstrFromFlat(r: FlatReader): UplcConstr;
/**
 * @import { IntLike } from "@helios-lang/codec-utils"
 * @import { Site } from "@helios-lang/compiler-utils"
 * @import {
 *   CekContext,
 *   CekFrame,
 *   CekEnv,
 *   CekState,
 *   FlatReader,
 *   FlatWriter,
 *   UplcConstr,
 *   UplcTerm
 * } from "../index.js"
 */
export const UPLC_CONSTR_TAG: 8;
import type { IntLike } from "@helios-lang/codec-utils";
import type { UplcTerm } from "../index.js";
import type { Site } from "@helios-lang/compiler-utils";
import type { UplcConstr } from "../index.js";
import type { FlatReader } from "../index.js";
//# sourceMappingURL=UplcConstr.d.ts.map