@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) • 282 B

TypeScript

import { PType } from "../../../../PType/index.js";
import { PLam } from "../../../../PTypes/PFn/PLam.js";
import { Term } from "../../../../Term/index.js";
export declare function mockPapp<PIn extends PType, POut extends PType>(a: Term<PLam<PIn, POut>>, b: Term<PIn>): Term<POut>;