import { type AppProps } from "https://deno.land/x/dext@0.10.5/mod.ts";