import { PBool } from "../../../../PTypes/PBool.js";
import { PFn, TermFn } from "../../../../PTypes/PFn/PFn.js";
import { PList } from "../../../../PTypes/PList.js";
import { ToPType } from "../../../../type_system/ts-pluts-conversion.js";
import { TermType } from "../../../../type_system/types.js";
export declare function pcompareList<FstElsT extends TermType, SndElsT extends TermType>(fstListElems: FstElsT, sndListElems: SndElsT): TermFn<[
    PFn<[
        PList<ToPType<SndElsT>>
    ], PBool>,
    PFn<[
        PList<ToPType<FstElsT>>
    ], PBool>,
    PFn<[
        ToPType<FstElsT>,
        ToPType<SndElsT>
    ], PBool>
], PFn<[
    PList<ToPType<FstElsT>>,
    PList<ToPType<SndElsT>>
], PBool>>;