/** * @param {UplcTerm} arg * @param {UplcTerm[]} cases * @param {Site | undefined} site * @returns {UplcCase} */ export function makeUplcCase(arg: UplcTerm, cases: UplcTerm[], site?: Site | undefined): UplcCase; /** * @param {FlatReader} r * @returns {UplcCase} */ export function decodeUplcCaseFromFlat(r: FlatReader): UplcCase; /** * @import { Site } from "@helios-lang/compiler-utils" * @import { * CekContext, * CekFrame, * CekEnv, * CekState, * FlatReader, * FlatWriter, * UplcCase, * UplcTerm * } from "../index.js" */ export const UPLC_CASE_TAG: 9; import type { UplcTerm } from "../index.js"; import type { Site } from "@helios-lang/compiler-utils"; import type { UplcCase } from "../index.js"; import type { FlatReader } from "../index.js"; //# sourceMappingURL=UplcCase.d.ts.map