the type checking types will support various options like distribute, exact.
Need to see how to support these options without breaking the inference.
Also, may add IsXXX<T, $O, $Else = never> for backward compatibility before completely dropping the <T, Then, Else> support.
the type checking types will support various options like
distribute,exact.Need to see how to support these options without breaking the inference.
Also, may add
IsXXX<T, $O, $Else = never>for backward compatibility before completely dropping the<T, Then, Else>support.