@harmoniclabs/plu-ts-onchain/dist/pluts/lib/std/unit/peqUnit.d.ts

An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript

import { PBool } from "../../../PTypes/PBool.js";
import { PUnit } from "../../../PTypes/PUnit.js";
import { Term } from "../../../Term/index.js";
/**
 we could use `mkNilData` builtin to check if we actually have units
 but we likely dont want the execution to fail by calling `peqUnit`
 so this is just a dummy function that always retuns true.
*/
export declare const peqUnit: Term<import("../../../index.js").PLam<PUnit, import("../../../index.js").PLam<PUnit, PBool>>> & {
    $: (input: import("../../index.js").PappArg<PUnit>) => Term<import("../../../index.js").PLam<PUnit, PBool>> & {
        $: (input: import("../../index.js").PappArg<PUnit>) => import("../../index.js").UtilityTermOf<PBool>;
    };
};