import { PList, PLam } from "../../../PTypes/index.js";
import { Term } from "../../../Term/index.js";
import { TermType, ToPType } from "../../../type_system/index.js";
export declare function _pprepend<ListElemT extends TermType>(listElemType: ListElemT): Term<PLam<PLam<ToPType<ListElemT>, PList<ToPType<ListElemT>>>, PList<ToPType<ListElemT>>>>;