UNPKG

@harmoniclabs/plu-ts-onchain

Version:

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

github.com/HarmonicLabs/plu-ts

HarmonicLabs/plu-ts

7 lines (6 loc) • 986 B
1
2
3
4
5
6
7
import { TermType } from "../../../../type_system/index.js"; export declare function pincludes<ElemsT extends TermType>(elems_t: ElemsT): import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../index.js").PList<import("../../../../type_system/index.js").ToPType<ElemsT>>, import("../../../../index.js").PLam<import("../../../../type_system/index.js").ToPType<ElemsT>, import("../../../../index.js").PBool>>> & { $: (input: import("../../../index.js").PappArg<import("../../../../index.js").PList<import("../../../../type_system/index.js").ToPType<ElemsT>>>) => import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../type_system/index.js").ToPType<ElemsT>, import("../../../../index.js").PBool>> & { $: (input: import("../../../index.js").PappArg<import("../../../../type_system/index.js").ToPType<ElemsT>>) => import("../../../index.js").UtilityTermOf<import("../../../../index.js").PBool>; }; };