import { PList } from "../../../../PTypes/index.js";
import { Term } from "../../../../Term/index.js";
import { TermType, ToPType } from "../../../../type_system/index.js";
export declare function _pnil<ElemsT extends TermType>(elemsT: ElemsT): Term<PList<ToPType<ElemsT>>>;