import { type TExtends } from "https://deno.land/x/typebox_deno@0.31.22/src/typebox.ts";
definition: (Static<L> extends Static<R> ? T : U) extends infer O ? UnionToTuple<O> extends [infer X, infer Y] ? TUnion<[AssertType<X>, AssertType<Y>]> : AssertType<O> : never