import { PType } from "../../../../PType/index.js";
import { PLam } from "../../../../PTypes/PFn/PLam.js";
import { Term } from "../../../../Term/index.js";
export declare function mockPapp<PIn extends PType, POut extends PType>(a: Term<PLam<PIn, POut>>, b: Term<PIn>): Term<POut>;