Type Alias _SN<T, $O>

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