js-slang
Version:
Javascript-based implementations of Source, written in Typescript
14 lines (13 loc) • 811 B
TypeScript
import type { Runner } from './types';
declare const runners: {
fulljs: Runner;
'cse-machine': (program: import("estree").Program, context: import("../types").Context<any>, options: import("..").IOptions) => Promise<import("../types").Result>;
substitution: (program: import("estree").Program, context: import("../types").Context<any>, options: import("..").IOptions) => Promise<import("../types").Result> | Promise<{
status: "finished";
context: import("../types").Context<any>;
value: import("../tracer").IStepperPropContents[];
}>;
native: (program: import("estree").Program, context: import("../types").Context<any>, options: import("..").IOptions) => Promise<import("../types").Result>;
};
export default runners;
export type RunnerTypes = keyof typeof runners;