import { type TKeyOfTuple } from "https://deno.land/x/typebox@0.26.0-dev.1/src/typebox.ts";
Type Parameters
T extends TSchema
definition: [K in keyof Static<T>]: TLiteral<Assert<K, TLiteralValue>> extends infer U ? UnionToTuple<Exclude<[K in keyof U]: U[K][keyof U], undefined>> : never