export type { DocOptions } from './doc-extension';
export { DocExtension } from './doc-extension';