interface TRequired implements TObjectimport { type TRequired } from "https://deno.land/x/typebox@0.25.13/src/typebox.ts"; Type ParametersT extends TObject | TRef<TObject>Propertiesstatic: Required<Static<T, this["params"]>>properties: [K in keyof T["properties"]]: T["properties"][K] extends TReadonlyOptional<infer U> ? TReadonly<U> : T["properties"][K] extends TReadonly<infer U> ? TReadonly<U> : T["properties"][K] extends TOptional<infer U> ? U : T["properties"][K]