import type { PType } from "../../PType/index.js";
import type { PFn, TermFn } from "../../PTypes/PFn/PFn.js";
import type { Term } from "../../Term/index.js";
export declare function addApplications<Ins extends [PType, ...PType[]], Out extends PType>(lambdaTerm: Term<PFn<Ins, Out>>): TermFn<Ins, Out>;