import { HTMLModel as JupyterHTMLModel, HTMLView as JupyteHTMLView } from '@jupyter-widgets/controls'; export declare class HTMLModel extends JupyterHTMLModel { defaults(): { _view_name: string; _model_name: string; _model_module: string; _view_module: string; _model_module_version: any; _view_module_version: any; }; } export declare class HTMLView extends JupyteHTMLView { render(): void; }