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

Javascript-based implementations of Source, written in Typescript

import { Command } from '@commander-js/extra-typings';
import { Chapter, Variant } from '../types';
export declare const getReplCommand: () => Command<[string | undefined], {
    chapter: Chapter;
    variant: Variant;
    verbose?: true | undefined;
    modulesBackend?: string | undefined;
    repl?: true | undefined;
    optionsFile?: string | undefined;
}>;