Type Alias _D<T, $O>

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