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