UNPKG

@harmoniclabs/plu-ts-onchain

Version:

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

4 lines (3 loc) 249 B
import { PBool, TermFn } from "../../../PTypes/index.js"; import { PairT, TermType, ToPType } from "../../../type_system/index.js"; export declare function peqPair<T extends PairT<TermType, TermType>>(t: T): TermFn<[ToPType<T>, ToPType<T>], PBool>;