@harmoniclabs/plu-ts-onchain/dist/IR/toUPLC/_internal/includesLettedTerms.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 includesLettedTerms(_term: IRTerm): boolean;