@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) • 593 B
TypeScript
import type { PType } from "../../PType/index.js";
import type { TermType } from "../../type_system/types.js";
import type { ToPType } from "../../type_system/ts-pluts-conversion.js";
import { type UtilityTermOf } from "../std/UtilityTerms/addUtilityForType.js";
import { Term } from "../../Term/index.js";
export declare function punsafeConvertType<ToTermType extends TermType>(psome: Term<PType>, toType: ToTermType): UtilityTermOf<ToPType<ToTermType>>;
export declare function term_as<ToTermType extends TermType>(this: Term<PType>, toType: ToTermType): UtilityTermOf<ToPType<ToTermType>>;