import { ReactElement } from 'react';
export default function Redo(): ReactElement;