UNPKG

@harmoniclabs/plu-ts-onchain

Version:

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

8 lines (7 loc) 503 B
import type { PType } from "../../PType/index.js"; import { Term } from "../../Term/index.js"; import { UtilityTermOf } from "../std/UtilityTerms/addUtilityForType.js"; export type LettedTerm<PVarT extends PType> = UtilityTermOf<PVarT> & { in: <PExprResult extends PType>(expr: (value: UtilityTermOf<PVarT>) => Term<PExprResult>) => Term<PExprResult>; }; export declare function _old_plet<PVarT extends PType, SomeExtension extends object>(varValue: Term<PVarT> & SomeExtension): LettedTerm<PVarT>;