export { Point } from "./point.js";
export { Range } from "./range.js";
export { Focus } from "./focus.js";
export { Alignment, DefaultAlignment, HeaderAlignment } from "./alignment.js";
export { TableCell } from "./table-cell.js";
export { TableRow } from "./table-row.js";
export { Table } from "./table.js";
export { readTable } from "./parser.js";
export { FormatType, completeTable, formatTable } from "./formatter.js";
export { Insert, Delete, applyEditScript, shortestEditScript } from "./edit-script.js";
export { ITextEditor } from "./text-editor.js";
export { TableEditor } from "./table-editor.js";

export { Point } from "./point.js";
export { Range } from "./range.js";
export { Focus } from "./focus.js";
export { Alignment, DefaultAlignment, HeaderAlignment } from "./alignment.js";
export { TableCell } from "./table-cell.js";
export { TableRow } from "./table-row.js";
export { Table } from "./table.js";
export { readTable } from "./parser.js";
export { FormatType, completeTable, formatTable } from "./formatter.js";
export { Insert, Delete, applyEditScript, shortestEditScript } from "./edit-script.js";
export { ITextEditor } from "./text-editor.js";
export { options } from "./options.js";
export { TableEditor } from "./table-editor.js";

Add `options` to the index