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