import type { ReactNode } from "react";
import type { ThemeTokens } from "../plugin/services";
interface LensTopBarProps {
    tokens: ThemeTokens;
    isMobile: boolean;
    /** Brand label text (e.g., "LintPDF"). */
    brand?: string;
    /** Optional brand logo URL. Rendered to the left of the brand text. */
    brandLogoUrl?: string;
    /** Slot content from `topbar` shell plugins. Rendered to the right
     *  of the brand block (typically empty). */
    pluginNodes?: ReadonlyArray<ReactNode>;
    /** True when the mobile drawer is open — controls hamburger
     *  `aria-expanded`. */
    mobileSidebarOpen: boolean;
    /** Toggle for the mobile drawer. Only invoked on mobile. */
    onToggleMobileSidebar: () => void;
}
export declare function LensTopBar({ tokens, isMobile, brand, brandLogoUrl, pluginNodes, mobileSidebarOpen, onToggleMobileSidebar, }: LensTopBarProps): import("react").JSX.Element;
export {};
//# sourceMappingURL=LensTopBar.d.ts.map