import { PType } from "../../../../PType/index.js";
import { TermFn, PLam, PList, PDelayed } from "../../../../PTypes/index.js";
import { TermType, ToPType } from "../../../../type_system/index.js";
export declare function _pmatchList<ReturnT extends TermType, PElemsT extends PType>(returnT: ReturnT, elemsT: TermType): TermFn<[PDelayed<PElemsT>, PLam<PElemsT, PLam<PList<PElemsT>, ToPType<ReturnT>>>, PList<PElemsT>], ToPType<ReturnT>>;