@harmoniclabs/plu-ts-onchain/dist/IR/IRNodes/utils/dependsByDbns.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";
/**
 * returns true if the term depends on *ANY* of the deBrujin indices specified
 */
export declare function dependsByDbns(term: IRTerm, depsDbns: readonly number[]): boolean;