@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
TypeScript
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>>;