type SCRIPTING_CMD = 0 | 1 | 2 | 3;
declare const SCRIPTING_CMD_REPL_START: 0;
declare const SCRIPTING_CMD_REPL_STOP: 1;
declare const SCRIPTING_CMD_STOP: 2;
declare const SCRIPTING_CMD_STOP_AND_RESTART: 3;

export { SCRIPTING_CMD_REPL_START, SCRIPTING_CMD_REPL_STOP, SCRIPTING_CMD_STOP, SCRIPTING_CMD_STOP_AND_RESTART };
export type { SCRIPTING_CMD };