Type Alias _SD<T, $O>

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