js-slang/dist/tracer/steppers.d.ts

Javascript-based implementations of Source, written in Typescript

import * as es from 'estree';
import { Context, IOptions } from '..';
import { IStepperPropContents } from '.';
export declare function getSteps(inputNode: es.BaseNode, context: Context, { stepLimit }: Pick<IOptions, 'stepLimit'>): IStepperPropContents[];