In programming languages we usually see the following data types:The bottom type: a type that has no value (eg: void in C++)The top type: all other types are subtypes of it (eg: std::any or void* in C++)Union type: one value/several typesTuple or product type: several values of several typesUnit type: a type that allows only one value...The question I have is the following: is there a name for a data structure that would be the product of unit types. In C++ a std::tuple<int, double, std::string> is a type that can hold one of all the values of ints, one of all the values of doubles and one of all the values of std::string. But how would you call the type built from {1, 1.5, Hello World!} that would only contain {1, 1.5, Hello World!}?
Name of the data type obtained from the composition of exactly one value of several data types
data structures;type theory;category theory;naming