import { ProgramEvent, ProgramInterop } from './Program'; export declare class DevTools { private _pausedOnEvent?; private _maxEvents; private _events; private _verbose; private _setModelBridge; private _dispatchBridge; asGlobal(name?: string): DevTools; get events(): readonly ProgramEvent[]; getMaxEvents(): number; getProgramProps(): ProgramInterop; setMaxEvents(max: number): DevTools; setVerbose(v: boolean): DevTools; isPaused(): boolean; private onEvent; travelTo(evtNum: number): void; private getEventModel; resume(): void; forward(): void; backward(): void; get lastEvent(): ProgramEvent; get lastModel(): Model; clear(): void; private removeEventsIfNeeded; setModel(model: Model): void; dispatch(msg: Msg): void; }