Add support for larger unions to @sinclair/typebox

@sinclair+typebox+0.10.1.patch

diff --git a/node_modules/@sinclair/typebox/typebox.d.ts b/node_modules/@sinclair/typebox/typebox.d.ts
index 5c4b239..b405558 100644
--- a/node_modules/@sinclair/typebox/typebox.d.ts
+++ b/node_modules/@sinclair/typebox/typebox.d.ts
@@ -119,6 +119,42 @@ export declare type TIntersect1<T0 extends TSchema> = {
     allOf: [T0];
 } & UserDefinedOptions;
 export declare type TIntersect = TIntersect8<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TIntersect7<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TIntersect6<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TIntersect5<TSchema, TSchema, TSchema, TSchema, TSchema> | TIntersect4<TSchema, TSchema, TSchema, TSchema> | TIntersect3<TSchema, TSchema, TSchema> | TIntersect2<TSchema, TSchema> | TIntersect1<TSchema>;
+export declare type TUnion9<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema> = {
+  oneOf: [T0, T1, T2, T3, T4, T5, T6, T7, T8];
+} & UserDefinedOptions;
+export declare type TUnion10<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema> = {
+  oneOf: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9];
+} & UserDefinedOptions;
+export declare type TUnion11<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema> = {
+  oneOf: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10];
+} & UserDefinedOptions;
+export declare type TUnion12<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema> = {
+  oneOf: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11];
+} & UserDefinedOptions;
+export declare type TUnion13<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema> = {
+  oneOf: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12];
+} & UserDefinedOptions;
+export declare type TUnion14<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema> = {
+  oneOf: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13];
+} & UserDefinedOptions;
+export declare type TUnion15<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema, T14 extends TSchema> = {
+  oneOf: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14];
+} & UserDefinedOptions;
+export declare type TUnion16<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema, T14 extends TSchema, T15 extends TSchema> = {
+  oneOf: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15];
+} & UserDefinedOptions;
+export declare type TUnion17<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema, T14 extends TSchema, T15 extends TSchema, T16 extends TSchema> = {
+  oneOf: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16];
+} & UserDefinedOptions;
+export declare type TUnion18<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema, T14 extends TSchema, T15 extends TSchema, T16 extends TSchema, T17 extends TSchema> = {
+  oneOf: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17];
+} & UserDefinedOptions;
+export declare type TUnion19<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema, T14 extends TSchema, T15 extends TSchema, T16 extends TSchema, T17 extends TSchema, T18 extends TSchema> = {
+  oneOf: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18];
+} & UserDefinedOptions;
+export declare type TUnion20<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema, T14 extends TSchema, T15 extends TSchema, T16 extends TSchema, T17 extends TSchema, T18 extends TSchema, T19 extends TSchema> = {
+  oneOf: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19];
+} & UserDefinedOptions;
 export declare type TUnion8<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema> = {
     oneOf: [T0, T1, T2, T3, T4, T5, T6, T7];
 } & UserDefinedOptions;
@@ -143,7 +179,7 @@ export declare type TUnion2<T0 extends TSchema, T1 extends TSchema> = {
 export declare type TUnion1<T0 extends TSchema> = {
     oneOf: [T0];
 } & UserDefinedOptions;
-export declare type TUnion = TUnion8<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion7<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion6<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion5<TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion4<TSchema, TSchema, TSchema, TSchema> | TUnion3<TSchema, TSchema, TSchema> | TUnion2<TSchema, TSchema> | TUnion1<TSchema>;
+export declare type TUnion = TUnion20<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion19<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion18<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion17<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion16<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion15<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion14<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion13<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion12<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion11<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion10<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion9<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion8<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion7<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion6<TSchema, TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion5<TSchema, TSchema, TSchema, TSchema, TSchema> | TUnion4<TSchema, TSchema, TSchema, TSchema> | TUnion3<TSchema, TSchema, TSchema> | TUnion2<TSchema, TSchema> | TUnion1<TSchema>;
 export declare type TTuple8<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema> = {
     type: 'array';
     items: [T0, T1, T2, T3, T4, T5, T6, T7];
@@ -296,7 +332,7 @@ declare type StaticFunction<T> = T extends TFunction8<infer U0, infer U1, infer
 declare type StaticConstructor<T> = T extends TConstructor8<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer R> ? new (arg0: Static<U0>, arg1: Static<U1>, arg2: Static<U2>, arg3: Static<U3>, arg4: Static<U4>, arg5: Static<U5>, arg6: Static<U6>, arg7: Static<U7>) => Static<R> : T extends TConstructor7<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer R> ? new (arg0: Static<U0>, arg1: Static<U1>, arg2: Static<U2>, arg3: Static<U3>, arg4: Static<U4>, arg5: Static<U5>, arg6: Static<U6>) => Static<R> : T extends TConstructor6<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer R> ? new (arg0: Static<U0>, arg1: Static<U1>, arg2: Static<U2>, arg3: Static<U3>, arg4: Static<U4>, arg5: Static<U5>) => Static<R> : T extends TConstructor5<infer U0, infer U1, infer U2, infer U3, infer U4, infer R> ? new (arg0: Static<U0>, arg1: Static<U1>, arg2: Static<U2>, arg3: Static<U3>, arg4: Static<U4>) => Static<R> : T extends TConstructor4<infer U0, infer U1, infer U2, infer U3, infer R> ? new (arg0: Static<U0>, arg1: Static<U1>, arg2: Static<U2>, arg3: Static<U3>) => Static<R> : T extends TConstructor3<infer U0, infer U1, infer U2, infer R> ? new (arg0: Static<U0>, arg1: Static<U1>, arg2: Static<U2>) => Static<R> : T extends TConstructor2<infer U0, infer U1, infer R> ? new (arg0: Static<U0>, arg1: Static<U1>) => Static<R> : T extends TConstructor1<infer U0, infer R> ? new (arg0: Static<U0>) => Static<R> : T extends TConstructor0<infer R> ? new () => Static<R> : never;
 declare type StaticContract<T extends TSchema> = T extends TFunction ? StaticFunction<T> : T extends TConstructor ? StaticConstructor<T> : never;
 declare type StaticIntersect<T> = T extends TIntersect8<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7> ? StaticSchema<U0> & StaticSchema<U1> & StaticSchema<U2> & StaticSchema<U3> & StaticSchema<U4> & StaticSchema<U5> & StaticSchema<U6> & StaticSchema<U7> : T extends TIntersect7<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6> ? StaticSchema<U0> & StaticSchema<U1> & StaticSchema<U2> & StaticSchema<U3> & StaticSchema<U4> & StaticSchema<U5> & StaticSchema<U6> : T extends TIntersect6<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5> ? StaticSchema<U0> & StaticSchema<U1> & StaticSchema<U2> & StaticSchema<U3> & StaticSchema<U4> & StaticSchema<U5> : T extends TIntersect5<infer U0, infer U1, infer U2, infer U3, infer U4> ? StaticSchema<U0> & StaticSchema<U1> & StaticSchema<U2> & StaticSchema<U3> & StaticSchema<U4> : T extends TIntersect4<infer U0, infer U1, infer U2, infer U3> ? StaticSchema<U0> & StaticSchema<U1> & StaticSchema<U2> & StaticSchema<U3> : T extends TIntersect3<infer U0, infer U1, infer U2> ? StaticSchema<U0> & StaticSchema<U1> & StaticSchema<U2> : T extends TIntersect2<infer U0, infer U1> ? StaticSchema<U1> & StaticSchema<U0> : T extends TIntersect1<infer U0> ? StaticSchema<U0> : never;
-declare type StaticUnion<T> = T extends TUnion8<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> : T extends TUnion7<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> : T extends TUnion6<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> : T extends TUnion5<infer U0, infer U1, infer U2, infer U3, infer U4> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> : T extends TUnion4<infer U0, infer U1, infer U2, infer U3> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> : T extends TUnion3<infer U0, infer U1, infer U2> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> : T extends TUnion2<infer U0, infer U1> ? StaticSchema<U0> | StaticSchema<U1> : T extends TUnion1<infer U0> ? StaticSchema<U0> : never;
+declare type StaticUnion<T> = T extends TUnion20<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer U8, infer U9, infer U10, infer U11, infer U12, infer U13, infer U14, infer U15, infer U16, infer U17, infer U18, infer U19> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> | StaticSchema<U8> | StaticSchema<U9> | StaticSchema<U10> | StaticSchema<U11> | StaticSchema<U12> | StaticSchema<U13> | StaticSchema<U14> | StaticSchema<U15> | StaticSchema<U16> | StaticSchema<U17> | StaticSchema<U18> | StaticSchema<U19> : T extends TUnion19<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer U8, infer U9, infer U10, infer U11, infer U12, infer U13, infer U14, infer U15, infer U16, infer U17, infer U18> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> | StaticSchema<U8> | StaticSchema<U9> | StaticSchema<U10> | StaticSchema<U11> | StaticSchema<U12> | StaticSchema<U13> | StaticSchema<U14> | StaticSchema<U15> | StaticSchema<U16> | StaticSchema<U17> | StaticSchema<U18> : T extends TUnion18<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer U8, infer U9, infer U10, infer U11, infer U12, infer U13, infer U14, infer U15, infer U16, infer U17> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> | StaticSchema<U8> | StaticSchema<U9> | StaticSchema<U10> | StaticSchema<U11> | StaticSchema<U12> | StaticSchema<U13> | StaticSchema<U14> | StaticSchema<U15> | StaticSchema<U16> | StaticSchema<U17> : T extends TUnion17<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer U8, infer U9, infer U10, infer U11, infer U12, infer U13, infer U14, infer U15, infer U16> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> | StaticSchema<U8> | StaticSchema<U9> | StaticSchema<U10> | StaticSchema<U11> | StaticSchema<U12> | StaticSchema<U13> | StaticSchema<U14> | StaticSchema<U15> | StaticSchema<U16> : T extends TUnion16<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer U8, infer U9, infer U10, infer U11, infer U12, infer U13, infer U14, infer U15> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> | StaticSchema<U8> | StaticSchema<U9> | StaticSchema<U10> | StaticSchema<U11> | StaticSchema<U12> | StaticSchema<U13> | StaticSchema<U14> | StaticSchema<U15> : T extends TUnion15<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer U8, infer U9, infer U10, infer U11, infer U12, infer U13, infer U14> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> | StaticSchema<U8> | StaticSchema<U9> | StaticSchema<U10> | StaticSchema<U11> | StaticSchema<U12> | StaticSchema<U13> | StaticSchema<U14> : T extends TUnion14<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer U8, infer U9, infer U10, infer U11, infer U12, infer U13> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> | StaticSchema<U8> | StaticSchema<U9> | StaticSchema<U10> | StaticSchema<U11> | StaticSchema<U12> | StaticSchema<U13> : T extends TUnion13<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer U8, infer U9, infer U10, infer U11, infer U12> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> | StaticSchema<U8> | StaticSchema<U9> | StaticSchema<U10> | StaticSchema<U11> | StaticSchema<U12> : T extends TUnion12<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer U8, infer U9, infer U10, infer U11> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> | StaticSchema<U8> | StaticSchema<U9> | StaticSchema<U10> | StaticSchema<U11> : T extends TUnion11<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer U8, infer U9, infer U10> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> | StaticSchema<U8> | StaticSchema<U9> | StaticSchema<U10> : T extends TUnion10<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer U8, infer U9> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> | StaticSchema<U8> | StaticSchema<U9> : T extends TUnion9<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7, infer U8> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> | StaticSchema<U8> : T extends TUnion8<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> | StaticSchema<U7> : T extends TUnion7<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> | StaticSchema<U6> : T extends TUnion6<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> | StaticSchema<U5> : T extends TUnion5<infer U0, infer U1, infer U2, infer U3, infer U4> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> | StaticSchema<U4> : T extends TUnion4<infer U0, infer U1, infer U2, infer U3> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> | StaticSchema<U3> : T extends TUnion3<infer U0, infer U1, infer U2> ? StaticSchema<U0> | StaticSchema<U1> | StaticSchema<U2> : T extends TUnion2<infer U0, infer U1> ? StaticSchema<U0> | StaticSchema<U1> : T extends TUnion1<infer U0> ? StaticSchema<U0> : never;
 declare type StaticTuple<T> = T extends TTuple8<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6, infer U7> ? [Static<U0>, Static<U1>, Static<U2>, Static<U3>, Static<U4>, Static<U5>, Static<U6>, Static<U7>] : T extends TTuple7<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5, infer U6> ? [Static<U0>, Static<U1>, Static<U2>, Static<U3>, Static<U4>, Static<U5>, Static<U6>] : T extends TTuple6<infer U0, infer U1, infer U2, infer U3, infer U4, infer U5> ? [Static<U0>, Static<U1>, Static<U2>, Static<U3>, Static<U4>, Static<U5>] : T extends TTuple5<infer U0, infer U1, infer U2, infer U3, infer U4> ? [Static<U0>, Static<U1>, Static<U2>, Static<U3>, Static<U4>] : T extends TTuple4<infer U0, infer U1, infer U2, infer U3> ? [Static<U0>, Static<U1>, Static<U2>, Static<U3>] : T extends TTuple3<infer U0, infer U1, infer U2> ? [Static<U0>, Static<U1>, Static<U2>] : T extends TTuple2<infer U0, infer U1> ? [Static<U0>, Static<U1>] : T extends TTuple1<infer U0> ? [Static<U0>] : never;
 declare type StaticComposite<T extends TComposite> = T extends TIntersect ? StaticIntersect<T> : T extends TUnion ? StaticUnion<T> : T extends TTuple ? StaticTuple<T> : never;
 declare type StaticLiteral<T> = T extends TStringLiteral<infer U> ? U : T extends TNumberLiteral<infer U> ? U : T extends TBooleanLiteral<infer U> ? U : never;
@@ -324,6 +360,18 @@ export declare class Type {
     static Optional<T extends TSchema | TUnion | TIntersect>(item: T): TOptional<T>;
     /** Modifies the inner type T into an readonly T. */
     static Readonly<T extends TSchema | TUnion | TIntersect>(item: T): TReadonly<T>;
+    static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7, T8], options?: UserDefinedOptions): TUnion9<T0, T1, T2, T3, T4, T5, T6, T7, T8>
+    static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9], options?: UserDefinedOptions): TUnion10<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9>
+    static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10], options?: UserDefinedOptions): TUnion11<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>
+    static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11], options?: UserDefinedOptions): TUnion12<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>
+    static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12], options?: UserDefinedOptions): TUnion13<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12>
+    static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13], options?: UserDefinedOptions): TUnion14<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13>
+    static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema, T14 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14], options?: UserDefinedOptions): TUnion15<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14>
+    static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema, T14 extends TSchema, T15 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15], options?: UserDefinedOptions): TUnion16<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15>
+    static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema, T14 extends TSchema, T15 extends TSchema, T16 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16], options?: UserDefinedOptions): TUnion17<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16>
+    static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema, T14 extends TSchema, T15 extends TSchema, T16 extends TSchema, T17 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17], options?: UserDefinedOptions): TUnion18<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17>
+    static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema, T14 extends TSchema, T15 extends TSchema, T16 extends TSchema, T17 extends TSchema, T18 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18], options?: UserDefinedOptions): TUnion19<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18>
+    static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema, T8 extends TSchema, T9 extends TSchema, T10 extends TSchema, T11 extends TSchema, T12 extends TSchema, T13 extends TSchema, T14 extends TSchema, T15 extends TSchema, T16 extends TSchema, T17 extends TSchema, T18 extends TSchema, T19 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19], options?: UserDefinedOptions): TUnion20<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19>
     /** Creates a Union type for the given arguments. */
     static Union<T0 extends TSchema, T1 extends TSchema, T2 extends TSchema, T3 extends TSchema, T4 extends TSchema, T5 extends TSchema, T6 extends TSchema, T7 extends TSchema>(items: [T0, T1, T2, T3, T4, T5, T6, T7], options?: UserDefinedOptions): TUnion8<T0, T1, T2, T3, T4, T5, T6, T7>;
     /** Creates a Union type for the given arguments. */