import { AppProps as AntAppProps } from "antd"; export interface AppProps extends AntAppProps { }