js-slang/dist/repl/svmc.d.ts

Javascript-based implementations of Source, written in Typescript

import { Command } from '@commander-js/extra-typings';
import { Chapter } from '../types';
export declare const compileToChoices: readonly ["ast", "binary", "debug", "json"];
export declare const getSVMCCommand: () => Command<[string], {
    chapter: Chapter;
    compileTo: "binary" | "ast" | "debug" | "json";
    out?: string | undefined;
    internals: string[];
}>;