import { WidgetModel } from '@jupyter-widgets/base'; declare class ExecuteRequest { constructor(code: string); id: string; code: string; execute_promise: Promise; resolve: Function; reject: Function; } declare class SafeJSKernel { constructor(); execute(code: string): Promise; initialize(): void; worker: Worker; requests: { [key: string]: ExecuteRequest; }; } export declare class RendererModel extends WidgetModel { defaults(): { _model_name: string; _model_module: string; _model_module_version: string; name: string; code: string; }; initialize(attributes: any, options: any): void; kernel: SafeJSKernel; rendering_function: Function; } export {};