/**
 * @param {{id: number, name: string, site?: Site}} args
 * @returns {UplcBuiltin}
 */
export function makeUplcBuiltin(args: {
    id: number;
    name: string;
    site?: Site;
}): UplcBuiltin;
/**
 * @param {FlatReader} reader
 * @param {Builtin[]} builtins
 * @returns {UplcBuiltin}
 */
export function decodeUplcBuiltinFromFlat(reader: FlatReader, builtins: Builtin[]): UplcBuiltin;
/**
 * @import { IntLike } from "@helios-lang/codec-utils"
 * @import { Site } from "@helios-lang/compiler-utils"
 * @import {
 *   Builtin,
 *   CekContext,
 *   CekStack,
 *   CekStateChange,
 *   FlatReader,
 *   FlatWriter,
 *   UplcBuiltin,
 *   UplcTerm
 * } from "../index.js"
 */
export const UPLC_BUILTIN_TAG: 7;
import type { Site } from "@helios-lang/compiler-utils";
import type { UplcBuiltin } from "../index.js";
import type { FlatReader } from "../index.js";
import type { Builtin } from "../index.js";
//# sourceMappingURL=UplcBuiltin.d.ts.map