type alias NavPropsimport { type NavProps } from "https://deno.land/x/netzo@0.3.91/core/plugins/ui/islands/nav.mobile.tsx"; definition: JSX.HTMLAttributes<HTMLDivElement> & UiConfig["nav"] & { children: ComponentChildren; }