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