@harmoniclabs/plu-ts-onchain/dist/pluts/lib/builtins/int/intBinOpToBool.d.ts

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

import { PLam, PInt, PBool } from "../../../PTypes/index.js";
import { Term } from "../../../Term/index.js";
import { PappArg } from "../../pappArg.js";
import { TermBool } from "../../std/UtilityTerms/TermBool.js";
export type IntBinOPToBool = Term<PLam<PInt, PLam<PInt, PBool>>> & {
    $: (input: PappArg<PInt>) => Term<PLam<PInt, PBool>> & {
        $: (input: PappArg<PInt>) => TermBool;
    };
};
export declare const peqInt: IntBinOPToBool;
export declare const plessInt: IntBinOPToBool;
export declare const plessEqInt: IntBinOPToBool;
export declare const pgreaterInt: Term<PLam<PInt, PLam<PInt, PBool>>> & {
    $: (input: PappArg<PInt>) => Term<PLam<PInt, PBool>> & {
        $: (input: PappArg<PInt>) => import("../../index.js").UtilityTermOf<PBool>;
    };
};
export declare const pgreaterEqInt: Term<PLam<PInt, PLam<PInt, PBool>>> & {
    $: (input: PappArg<PInt>) => Term<PLam<PInt, PBool>> & {
        $: (input: PappArg<PInt>) => import("../../index.js").UtilityTermOf<PBool>;
    };
};