Type Alias _Positive<T, U, $O>

_Positive: T extends U & infer R
    ? `${T}` extends `-${string}`
        ? $ResolveBranch<$O, [$Else]>
        : U extends T
            ? $ResolveBranch<$O, [$Then], T>
            | $ResolveBranch<$O, [$Else]>
            : [T, R] extends [R, T]
                ? $ResolveBranch<$O, [$Then], T>
                : $ResolveBranch<$O, [$Then], T> | $ResolveBranch<$O, [$Else]>
    : never