import { TermFn, PPair } from "../../../PTypes/index.js";
import { TermType, ToPType } from "../../../type_system/index.js";
export declare function pfstPair<A extends TermType, B extends TermType>(fstType: A, sndType: B): TermFn<[PPair<ToPType<A>, ToPType<B>>], ToPType<A>>;
export declare function psndPair<A extends TermType, B extends TermType>(fstType: A, sndType: B): TermFn<[PPair<ToPType<A>, ToPType<B>>], ToPType<B>>;