import { TermBool } from "../TermBool.js";
import { Term } from "../../../../Term/index.js";
import { PBool } from "../../../../PTypes/PBool.js";
export declare function makeMockTermBool(): TermBool;
export declare function mockPBoolMethods(term: Term<PBool>): TermBool;