Type Alias _U<T, U, $O>

_U: U extends `${any}`
    ? $ResolveBranch<$O, [$Then], T>
    : U extends Uppercase<infer N>
        ? IsStringLiteral._D<N, $O>
        : U extends Lowercase<infer N>
            ? IsStringLiteral._D<N, $O>
            : $ResolveBranch<$O, [$Else]>