import type { ReactNode } from 'react';
/** A single document bar with the editor's existing file and language controls. */
export default function MynaHeader({ children }: {
    children?: ReactNode;
}): import("react").JSX.Element;