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

Javascript-based implementations of Source, written in Typescript

import { StepperBaseNode } from './interface';
export declare let redex: {
    preRedex: StepperBaseNode[];
    postRedex: StepperBaseNode[];
};
export interface Marker {
    redex?: StepperBaseNode | null;
    redexType?: 'beforeMarker' | 'afterMarker';
    explanation?: string;
}
export interface IStepperPropContents {
    ast: StepperBaseNode;
    markers?: Marker[];
}