Type Alias _Negative<T, U, $O>

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