import { TermFn } from "../../../../PTypes/PFn/index.js";
import { PFn } from "../../../../PTypes/PFn/PFn.js";
import { PList } from "../../../../PTypes/PList.js";
import { ToPType } from "../../../../type_system/index.js";
import { TermType } from "../../../../type_system/types.js";
export declare function piterLists<FstElsT extends TermType, SndElsT extends TermType, ResultT extends TermType>(fstListElems: FstElsT, sndListElems: SndElsT, resultT: ResultT): TermFn<[
    PFn<[
        PFn<[
            PList<ToPType<FstElsT>>,
            PList<ToPType<SndElsT>>
        ], ToPType<ResultT>>,
        PList<ToPType<SndElsT>>
    ], ToPType<ResultT>>,
    PFn<[
        PFn<[
            PList<ToPType<FstElsT>>,
            PList<ToPType<SndElsT>>
        ], ToPType<ResultT>>,
        PList<ToPType<FstElsT>>
    ], ToPType<ResultT>>,
    PFn<[
        PFn<[
            PList<ToPType<FstElsT>>,
            PList<ToPType<SndElsT>>
        ], ToPType<ResultT>>,
        ToPType<FstElsT>,
        PList<ToPType<FstElsT>>,
        ToPType<SndElsT>,
        PList<ToPType<SndElsT>>
    ], ToPType<ResultT>>
], PFn<[
    PList<ToPType<FstElsT>>,
    PList<ToPType<SndElsT>>
], ToPType<ResultT>>>;