@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) • 611 B
TypeScript
import { TermFn } from "../../PTypes/index.js";
import { ToPType } from "../../type_system/ts-pluts-conversion.js";
import { TermType } from "../../type_system/types.js";
export declare function ptraceVal<T extends TermType>(t: T): TermFn<[ToPType<T>], ToPType<T>>;
export declare const ptraceInt: import("../../index.js").Term<import("../../PTypes/index.js").PLam<import("../../PTypes/index.js").PInt, import("../../PTypes/index.js").PInt>> & {
$: (input: import("../index.js").PappArg<import("../../PTypes/index.js").PInt>) => import("../index.js").UtilityTermOf<import("../../PTypes/index.js").PInt>;
};