Type Alias _D<T, $O>

_D: T extends string & infer U
    ? IsNotStringLiteral._U<T, U, $O>
    : $ResolveBranch<$O, [$Then], T>

Type Parameters