import { PString } from "../../../../PTypes/PString.js";
import { Term } from "../../../../Term/index.js";
import { TermStr } from "../TermStr.js";
export declare function makeMockTermStr(): TermStr;
export declare function mockPStringMethods(term: Term<PString>): TermStr;