import { TermFn, PList } from "../../../PTypes/index.js";
import { TermType, ToPType } from "../../../type_system/index.js";
export declare function pprepend<ListElemT extends TermType>(listElemType: ListElemT): TermFn<[ToPType<ListElemT>, PList<ToPType<ListElemT>>], PList<ToPType<ListElemT>>>;