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

Javascript-based implementations of Source, written in Typescript

import * as es from 'estree';
import { StepperBaseNode } from './interface';
export declare function convert(node: es.BaseNode): StepperBaseNode;
export declare function explain(redex: StepperBaseNode): string;