export { betterTypeHistoryPlugin } from './betterTypeHistoryPlugin';
export type { BetterTypeHistoryPlugin, BetterTypeHistoryAPI } from './betterTypeHistoryPluginType';