@harmoniclabs/plu-ts-onchain/dist/pluts/lib/pforce/index.d.ts

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

import { PType } from "../../PType/index.js";
import { PDelayed } from "../../PTypes/index.js";
import { Term } from "../../Term/index.js";
import { UtilityTermOf } from "../std/UtilityTerms/addUtilityForType.js";
export declare function pforce<PInstance extends PType>(toForce: Term<PDelayed<PInstance>>): UtilityTermOf<PInstance>;
export declare function pforce<PInstance extends PType>(toForce: Term<PInstance>): UtilityTermOf<PInstance>;