js-slang/dist/constants.d.ts

Javascript-based implementations of Source, written in Typescript

import type { SourceLocation } from 'estree';
import type { AcornOptions } from './parser/types';
export declare const DEFAULT_ECMA_VERSION = 6;
export declare const ACORN_PARSE_OPTIONS: AcornOptions;
export declare const REQUIRE_PROVIDER_ID = "requireProvider";
export declare const CUT = "cut";
export declare const TRY_AGAIN = "retry";
export declare const GLOBAL: typeof globalThis;
export declare const NATIVE_STORAGE_ID = "nativeStorage";
export declare const MAX_LIST_DISPLAY_LENGTH = 100;
export declare const UNKNOWN_LOCATION: SourceLocation;
export declare const JSSLANG_PROPERTIES: {
    maxExecTime: number;
    factorToIncreaseBy: number;
};