/**
 * @import { IntLike } from "@helios-lang/codec-utils"
 * @import { Cost, UplcData } from "@helios-lang/uplc"
 * @import { NetworkParams, RedeemerDetailsWithArgs, RedeemerDetailsWithoutArgs, TxCertifyingRedeemer, Tx, TxInfo } from "../index.js"
 */
/**
 * @param {IntLike} dcertIndex
 * @param {UplcData} data
 * @param {Cost} cost
 * @returns {TxCertifyingRedeemer}
 */
export function makeTxCertifyingRedeemer(dcertIndex: IntLike, data: UplcData, cost?: Cost): TxCertifyingRedeemer;
import type { IntLike } from "@helios-lang/codec-utils";
import type { UplcData } from "@helios-lang/uplc";
import type { Cost } from "@helios-lang/uplc";
import type { TxCertifyingRedeemer } from "../index.js";
//# sourceMappingURL=TxCertifyingRedeemer.d.ts.map