Type Alias _D<T, $O>

_D<T, $O>: T extends number & infer U
    ? U extends number
        ? $ResolveBranch<T, $O, [$Then]>
        : $ResolveBranch<T, $O, [$Else]>
    : $ResolveBranch<T, $O, [$Then]>