import * as dataConverter from './data-converter.js'; import * as pointChooser from './number-line/point-chooser/index.js'; import * as tickUtils from './number-line/graph/tick-utils.js'; import Graph from './number-line/graph/index.js'; import NumberLineComponent from './number-line/index.js'; export { Graph, NumberLineComponent, tickUtils, dataConverter, pointChooser }; export default class NumberLine extends HTMLElement { constructor(); _scheduleMathRender: any; _initMathObserver(): void; _disconnectMathObserver(): void; set model(m: any); set session(s: any); get session(): any; connectedCallback(): void; isComplete(): boolean; dispatch(type: any): void; dispatchSessionChanged(): void; addElement(data: any): void; moveElement(index: any, el: any, position: any): void; deleteElements(indices: any): void; undoElement(): void; clearElements(): void; _applyInitialElements(): void; _render(): void; disconnectedCallback(): void; }