import { PType } from "../../../../PType/index.js";
import type { PList } from "../../../../PTypes/index.js";
import { Term } from "../../../../Term/index.js";
import { TermList } from "../TermList.js";
export declare function mockPListMethods<PElemsT extends PType>(lst: Term<PList<PElemsT>>): TermList<PElemsT>;