@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
7 lines (6 loc) • 801 B
TypeScript
export declare const pshowBool: import("../../index.js").Term<import("../../index.js").PLam<import("../../index.js").PBool, import("../../index.js").PByteString>> & {
$: (someInput: import("../index.js").PappArg<import("../../index.js").PBool>) => import("../index.js").UtilityTermOf<import("../../index.js").PByteString>;
} & import("../std/UtilityTerms/BaseUtilityTerm.js").BaseUtilityTermExtension;
export declare const ptraceBool: import("../../index.js").Term<import("../../index.js").PLam<import("../../index.js").PBool, import("../../index.js").PBool>> & {
$: (someInput: import("../index.js").PappArg<import("../../index.js").PBool>) => import("../index.js").UtilityTermOf<import("../../index.js").PBool>;
} & import("../std/UtilityTerms/BaseUtilityTerm.js").BaseUtilityTermExtension;