UNPKG

@harmoniclabs/plu-ts-onchain

Version:

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

5 lines (4 loc) 304 B
import type { PType } from "../../PType/index.js"; import type { PFn, TermFn } from "../../PTypes/PFn/PFn.js"; import type { Term } from "../../Term/index.js"; export declare function addApplications<Ins extends [PType, ...PType[]], Out extends PType>(lambdaTerm: Term<PFn<Ins, Out>>): TermFn<Ins, Out>;