import { TermInt } from "../TermInt.js";
import { Term } from "../../../../Term/index.js";
import { PInt } from "../../../../PTypes/PInt.js";
export declare function makeMockTermInt(): TermInt;
export declare function mockPIntMethods(term: Term<PInt>): TermInt;