@runtimeverificationinc/tsk/dist/types/kast/rewrite.d.ts

TypeScript/JavaScript library for K Framework functionality

import { KInner, KRewrite } from "./inner";
export declare function indexedRewrite(kast: KInner, rewrites: Iterable<KRewrite>): KInner;
/**
 * Async version of indexedRewrite that yields control periodically to prevent stack overflow.
 */
export declare function indexedRewriteAsync(kast: KInner, rewrites: Iterable<KRewrite>, yieldFrequency?: number): Promise<KInner>;