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

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

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