import { PType } from "../../../../PType/index.js";
import { PPair } from "../../../../PTypes/PPair/index.js";
import { Term } from "../../../../Term/index.js";
import { TermPair } from "../TermPair.js";
export declare function mockPPairMethods<PFst extends PType, PSnd extends PType>(_pair: Term<PPair<PFst, PSnd>>): TermPair<PFst, PSnd>;