import type { Exp } from "../exp/index.js";
import * as Exps from "../exp/index.js";
export declare function foldPi(bindings: Array<Exps.PiBinding>, retType: Exp): Exp;
//# sourceMappingURL=foldPi.d.ts.map