@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
TypeScript
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>;