export { HTML };
export function c(): React.DetailedReactHTMLElement<React.HTMLAttributes<HTMLElement>, HTMLElement>;
export var render: typeof import("react-dom/server").renderToStaticMarkup;
import { HTML } from "smc-webapp/r_misc";
import { React } from "smc-webapp/app-framework";