/// import { REPLServer } from "repl"; import { Program } from "./program.js"; export declare const HISTSIZE = 500; /** * Create new history instance. */ export declare function history(program: Program): History; export declare class History { private program; private path; constructor(program: Program); /** * Add a new entry to the history file. */ push(entry: string | readonly string[]): void; /** * Read the history file and hydrate the REPL server history. */ hydrateReplServer(server: REPLServer): void; }