@harmoniclabs/plu-ts-onchain/dist/IR/toUPLC/subRoutines/replaceHoistedWithLetted.d.ts

An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript

import { IRTerm } from "../../IRTerm.js";
export declare function replaceHoistedWithLetted(term: IRTerm): void;