UNPKG

@harmoniclabs/plu-ts-onchain

Version:

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

21 lines (20 loc) 714 B
import { PBool } from "../../../../PTypes/PBool.js"; import { PFn, TermFn } from "../../../../PTypes/PFn/PFn.js"; import { PList } from "../../../../PTypes/PList.js"; import { ToPType } from "../../../../type_system/ts-pluts-conversion.js"; import { TermType } from "../../../../type_system/types.js"; export declare function pcompareList<FstElsT extends TermType, SndElsT extends TermType>(fstListElems: FstElsT, sndListElems: SndElsT): TermFn<[ PFn<[ PList<ToPType<SndElsT>> ], PBool>, PFn<[ PList<ToPType<FstElsT>> ], PBool>, PFn<[ ToPType<FstElsT>, ToPType<SndElsT> ], PBool> ], PFn<[ PList<ToPType<FstElsT>>, PList<ToPType<SndElsT>> ], PBool>>;