@harmoniclabs/plu-ts-onchain/dist/pluts/lib/builtins/bls12_381_MlResult/index.d.ts

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

import { PBlsG2 } from "../../../PTypes/PBlsG2.js";
import { Term } from "../../../Term/index.js";
import { PBool } from "../../../PTypes/PBool.js";
import { PBlsMlRes } from "../../../PTypes/PBlsMlRes.js";
export declare const bls12_381_millerLoop: Term<import("../../../index.js").PLam<PBlsG2, import("../../../index.js").PLam<PBlsG2, PBlsMlRes>>> & {
    $: (input: import("../../index.js").PappArg<PBlsG2>) => Term<import("../../../index.js").PLam<PBlsG2, PBlsMlRes>> & {
        $: (input: import("../../index.js").PappArg<PBlsG2>) => import("../../index.js").UtilityTermOf<PBlsMlRes>;
    };
};
export declare const bls12_381_mulMlResult: Term<import("../../../index.js").PLam<PBlsMlRes, import("../../../index.js").PLam<PBlsMlRes, PBlsMlRes>>> & {
    $: (input: import("../../index.js").PappArg<PBlsMlRes>) => Term<import("../../../index.js").PLam<PBlsMlRes, PBlsMlRes>> & {
        $: (input: import("../../index.js").PappArg<PBlsMlRes>) => import("../../index.js").UtilityTermOf<PBlsMlRes>;
    };
};
export declare const bls12_381_finalVerify: Term<import("../../../index.js").PLam<PBlsMlRes, import("../../../index.js").PLam<PBlsMlRes, PBool>>> & {
    $: (input: import("../../index.js").PappArg<PBlsMlRes>) => Term<import("../../../index.js").PLam<PBlsMlRes, PBool>> & {
        $: (input: import("../../index.js").PappArg<PBlsMlRes>) => import("../../index.js").UtilityTermOf<PBool>;
    };
};