UNPKG

@harmoniclabs/plu-ts-onchain

Version:

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

github.com/HarmonicLabs/plu-ts

HarmonicLabs/plu-ts

10 lines (9 loc) • 473 B
1
2
3
4
5
6
7
8
9
10
import { IRTerm } from "../../../IRTerm.js"; import { IRLetted } from "../../../IRNodes/IRLetted.js"; /** * add 1 to every var's DeBruijn that accesses stuff outside the parent node * not including the `parentNode` node * since the new function introdcued substituting the letted term * is added inside the `parentNode` node **/ export declare function incrementUnboundDbns(theTerm: IRTerm, shouldNotModifyLetted: (letted: IRLetted, dbn: number) => boolean): void;