import * as typebox from "https://deno.land/x/typebox@0.33.12/src/type/required/required-from-mapped-result.ts";