Union type
In computer science, a union is a value that may have any of multiple representations or formats within the same area of memory, or a variable that may hold such a data structure. Some programming languages support a union type for such a data type.