import { TermBool } from "../UtilityTerms/TermBool.js";
export declare function pBool(b: boolean): TermBool;