function defaultimport { default } from "https://dotland.deno.dev/x/fresh@1.7.3/www/islands/SearchButton.tsx"; default(props: { docsearch?: (args: DocSearchProps) => void; class?: string; })Parametersprops: { docsearch?: (args: DocSearchProps) => void; class?: string; }