Discriminated Union
↔ Union Type with overlapping property of different values
Discriminant
Common Type in Union Type with different values
Discriminated Union
↔ Union Type with overlapping property of different valuesCommon Type in Union Type with different values