import { PBool, TermFn } from "../../../PTypes/index.js";
import { PairT, TermType, ToPType } from "../../../type_system/index.js";
export declare function peqPair<T extends PairT<TermType, TermType>>(t: T): TermFn<[ToPType<T>, ToPType<T>], PBool>;