export * from "./Exp.js";
export * from "./foldAp.js";
export * from "./foldClazz.js";
export * from "./foldFn.js";
export * from "./foldFnWithRetType.js";
export * from "./foldPi.js";
export * from "./foldSequence.js";
export * from "./foldSigma.js";
export * from "./freeNames.js";
export * from "./prepareProperties.js";
export * from "./substitute.js";
export * from "./unfoldAp.js";
//# sourceMappingURL=index.d.ts.map