union
An array of A_Types, where the entries correspond to ordinals of other Types, and hold the unions of that type and the current type.
An array of A_Types, where the entries correspond to ordinals of other Types, and hold the unions of that type and the current type.