import type { TermFn, PList, PInt } from "../../../PTypes/index.js";
import { TermType, ToPType } from "../../../type_system/index.js";
export declare function pindexList<ElemsT extends TermType>(elemsT: ElemsT): TermFn<[PList<ToPType<ElemsT>>, PInt], ToPType<ElemsT>>;
export declare function pdropList<ElemsT extends TermType>(elemsT: ElemsT): TermFn<[PList<ToPType<ElemsT>>, PInt], PList<ToPType<ElemsT>>>;