export type { IRegistry0828 } from "./IRegistry0828";