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