@harmoniclabs/plu-ts-onchain/dist/pluts/lib/std/list/pevery.d.ts

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

import type { TermFn, PLam, PBool, PList } from "../../../PTypes/index.js";
import { ToPType, TermType } from "../../../type_system/index.js";
export declare function pevery<ElemsT extends TermType>(elemsT: ElemsT): TermFn<[PLam<ToPType<ElemsT>, PBool>, PList<ToPType<ElemsT>>], PBool>;