@harmoniclabs/plu-ts-onchain/dist/pluts/lib/std/list/pfind.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 { TermType, ToPType } from "../../../type_system/index.js";
import { PMaybeT } from "../PMaybe/PMaybe.js";
export declare function pfind<ElemsT extends TermType, PElemsT extends ToPType<ElemsT> = ToPType<ElemsT>>(elemsT: ElemsT): TermFn<[PLam<PElemsT, PBool>, PList<PElemsT>], PMaybeT<PElemsT>>;