@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
5 lines (4 loc) • 350 B
TypeScript
import { PList, PLam } from "../../../PTypes/index.js";
import { Term } from "../../../Term/index.js";
import { TermType, ToPType } from "../../../type_system/index.js";
export declare function _pprepend<ListElemT extends TermType>(listElemType: ListElemT): Term<PLam<PLam<ToPType<ListElemT>, PList<ToPType<ListElemT>>>, PList<ToPType<ListElemT>>>>;