import { TermType, ToPType } from "../../../type_system/index.js";
import { TermPair } from "../UtilityTerms/TermPair.js";
import { PappArg } from "../../pappArg.js";
export declare function pPair<FstT extends TermType, SndT extends TermType>(fstT: FstT, sndT: SndT): (fst: PappArg<ToPType<FstT>>, snd: PappArg<ToPType<SndT>>) => TermPair<ToPType<FstT>, ToPType<SndT>>;