ClassesTypes, Classes and PropertiesUnionsProduct

Product

Product types represent tuples formed as the cartesian product of types. They are often used to describe multiple value return types.
 <product> (<type>) C
 t* (types|... => <product>) G
returns product type specifying the cross product of types.
 product-elts (x|<product> => <seq>) G
types that product type matches.


ClassesTypes, Classes and PropertiesUnionsProduct