export { AgdaDocsTransformer } from './transformer';
export type { AgdaDocsConfig, ModuleInfo } from './types';