/**
 * @import { ConstrData } from "@helios-lang/uplc"
 * @import { DeregistrationDCert, StakingCredential } from "../index.js"
 */
/**
 * @param {StakingCredential} credential
 * @returns {DeregistrationDCert}
 */
export function makeDeregistrationDCert(credential: StakingCredential): DeregistrationDCert;
import type { StakingCredential } from "../index.js";
import type { DeregistrationDCert } from "../index.js";
//# sourceMappingURL=DeregistrationDCert.d.ts.map